aboutsummaryrefslogtreecommitdiff
path: root/generic/proof.el
AgeCommit message (Expand)Author
1999-10-25Made proof-warning and friends take arg list.David Aspinall
1999-10-06face arg for proof-response-buffer-display is now optionalDavid Aspinall
1999-09-28Fix for FSF: it should load proof-toolbar too.David Aspinall
1999-08-23Fix for toolbar disable for FSF Emacs.David Aspinall
1999-08-23proof-version -> proof-general-versionDavid Aspinall
1999-02-22Added PROOFGENERAL_ASSISTANTS. proof-site should *not* need to be edited.David Aspinall
1998-12-18Beginnings of x-symbol support.David Aspinall
1998-12-15Improved documentation of proof-included-files-list.David Aspinall
1998-12-14Reordered require of cl. Changed deflocal definition.David Aspinall
1998-12-11Tweaked headings for bug reportDavid Aspinall
1998-12-11Added proof-submit-bug-reportDavid Aspinall
1998-12-10Made point stay at top of goals buffer and bottom of response bufferDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-24 20:37:18 +0000