aboutsummaryrefslogtreecommitdiff
path: root/generic/proof.el
AgeCommit message (Expand)Author
1998-11-26Format fixDavid Aspinall
1998-11-25FSF Emacs fix for buffer-file-truename, which is theDavid Aspinall
1998-11-25Replaced proof-pbp-buffer with proof-goals-buffer.David Aspinall
1998-11-25Note about window dedicated problem.David Aspinall
1998-11-20Reimplemented functions to shut down and restart proof process.David Aspinall
1998-11-20BIG CHANGES -- SORRY!David Aspinall
1998-11-18proof-response-buffer-display: Move point to the end of the bufferDavid Aspinall
1998-11-18Improved proof-clean-buffer. Now only deletes windows in currentlyDavid Aspinall
1998-11-18Bug fix and adjustments in proof-response-buffer-displayDavid Aspinall
1998-11-12Added proof-auto-delete-windows user option.David Aspinall
1998-11-09Added acknowledgements to doc. Removed from code.David Aspinall
1998-11-03Promoted proof-window-dedicated to be a user option, andDavid Aspinall
1998-11-03A* Fix display handling problems (tms, all week)Thomas Kleymann
1998-11-02Proof General no longer moves point in the current-bufferThomas Kleymann
1998-11-02Quick fix for multiple file problem when current scripting buffer is retracte...David Aspinall
1998-11-02Proof General no longer changes selected window/buffer under your feet.Thomas Kleymann
1998-11-02fixed minor bugsThomas Kleymann
1998-11-01o added support for byte-compilationThomas Kleymann
1998-10-30implemented new buffer model. The goals buffer is now exclusivelyThomas Kleymann
1998-10-29Fixed requires for FSF Emacs.David Aspinall
1998-10-28Added autoload for proof-shell-available-pDavid Aspinall
1998-10-28rearranged code to avoid compiler warning messagesThomas Kleymann
1998-10-27Splash screen added back. Put in Xemacs test for noninteractive toDavid Aspinall
1998-10-27Fixed up proof-script.el for clean byte compileDavid Aspinall
1998-10-27Temp disable splashDavid Aspinall
1998-10-27Begun work on clean byte compilation / clarifying interfaces.David Aspinall
1998-10-26Splash screen now works for FSFDavid Aspinall
1998-10-22Separated splash screen codeDavid Aspinall
1998-10-22Moved user options into proof-configDavid Aspinall
1998-10-22Split proof.el into proof-config.el, proof-script.el, proof-shell.elDavid Aspinall
1998-10-22renamed fume-match-find-next-function-nameThomas Kleymann
1998-10-22fixed bug in fume-match-find-next-function-nameThomas Kleymann
1998-10-21o Replaced proof-register-new-processed-file by -possibly-new- variant.David Aspinall
1998-10-21no longer displays important messages about file assertion/retractionThomas Kleymann
1998-10-21Improved maintainability of code in proof-check-process-available.David Aspinall
1998-10-21fixed a bug in `proof-check-process-available'Thomas Kleymann
1998-10-21o made buffer-file-truename even saferThomas Kleymann
1998-10-21o Improved error messagesThomas Kleymann
1998-10-21Added code to register fully processed file. Multiple file fix list updatedDavid Aspinall
1998-10-21Changed from forcing w3 to using customizable browse-urlDavid Aspinall
1998-10-21Added proof-activate-scripting-hook and fixed regexpsDavid Aspinall
1998-10-20Changed minibuffer tag to have name of prover instead of ProofDavid Aspinall
1998-10-19Bug fixes for multiple file code, da/tms.David Aspinall
1998-10-18support for nested goals is now restricted to CoqThomas Kleymann
1998-10-18Reimplemented multiple file proof developmentsThomas Kleymann
1998-10-13Disabled font-lock in process bufferThomas Kleymann
1998-10-12Added compatibility hack for customize-menu-create.David Aspinall
1998-10-12Added sensible error message for attempting undo on empty locked region.David Aspinall
1998-10-12Made defface's work for dark background Emacsen (default for FSF on Linux).David Aspinall
1998-10-12Dox. Made proof-shell-exec-loop not complain about empty action list.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 03:42:49 +0000