aboutsummaryrefslogtreecommitdiff
path: root/generic/proof.el
AgeCommit message (Expand)Author
1999-11-14proof-nested-goals-allowed -> proof-completed-proof-behaviourDavid Aspinall
1999-11-13Added new face for debug messagesDavid Aspinall
1999-11-12Notes about font-lock management.David Aspinall
1999-11-12Fixes for response buffer display, x-symbol, output formatting.David Aspinall
1999-11-11Attempted x-symbol improvementsDavid Aspinall
1999-11-11Removed debug instruction.David Aspinall
1999-11-11Next round of fixups for font-lock and x-symbol.David Aspinall
1999-11-11Extensive fixes for x-symbol and font-lock.David Aspinall
1999-11-10Reorganized user options. Special new code for boolean settings.David Aspinall
1999-11-10Moved more utility functions here.David Aspinall
1999-11-09Generic support for x-symbol tuned up.David Aspinall
1999-11-08Docstring for proof-included-files.David Aspinall
1999-11-08Copyright messages updated. Autoloads for x-symbol.David Aspinall
1999-10-27update of x-symbol stuff by DvO;Makarius Wenzel
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:57:54 +0000