aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof.el
Commit message (Expand)AuthorAge
* Fix for toolbar disable for FSF Emacs.Gravatar David Aspinall1999-08-23
* proof-version -> proof-general-versionGravatar David Aspinall1999-08-23
* Added PROOFGENERAL_ASSISTANTS. proof-site should *not* need to be edited.Gravatar David Aspinall1999-02-22
* Beginnings of x-symbol support.Gravatar David Aspinall1998-12-18
* Improved documentation of proof-included-files-list.Gravatar David Aspinall1998-12-15
* Reordered require of cl. Changed deflocal definition.Gravatar David Aspinall1998-12-14
* Tweaked headings for bug reportGravatar David Aspinall1998-12-11
* Added proof-submit-bug-reportGravatar David Aspinall1998-12-11
* Made point stay at top of goals buffer and bottom of response bufferGravatar David Aspinall1998-12-10
* Format fixGravatar David Aspinall1998-11-26
* FSF Emacs fix for buffer-file-truename, which is theGravatar David Aspinall1998-11-25
* Replaced proof-pbp-buffer with proof-goals-buffer.Gravatar David Aspinall1998-11-25
* Note about window dedicated problem.Gravatar David Aspinall1998-11-25
* Reimplemented functions to shut down and restart proof process.Gravatar David Aspinall1998-11-20
* BIG CHANGES -- SORRY!Gravatar David Aspinall1998-11-20
* proof-response-buffer-display: Move point to the end of the bufferGravatar David Aspinall1998-11-18
* Improved proof-clean-buffer. Now only deletes windows in currentlyGravatar David Aspinall1998-11-18
* Bug fix and adjustments in proof-response-buffer-displayGravatar David Aspinall1998-11-18
* Added proof-auto-delete-windows user option.Gravatar David Aspinall1998-11-12
* Added acknowledgements to doc. Removed from code.Gravatar David Aspinall1998-11-09
* Promoted proof-window-dedicated to be a user option, andGravatar David Aspinall1998-11-03
* A* Fix display handling problems (tms, all week)Gravatar Thomas Kleymann1998-11-03
* Proof General no longer moves point in the current-bufferGravatar Thomas Kleymann1998-11-02
* Quick fix for multiple file problem when current scripting buffer is retracte...Gravatar David Aspinall1998-11-02
* Proof General no longer changes selected window/buffer under your feet.Gravatar Thomas Kleymann1998-11-02
* fixed minor bugsGravatar Thomas Kleymann1998-11-02
* o added support for byte-compilationGravatar Thomas Kleymann1998-11-01
* implemented new buffer model. The goals buffer is now exclusivelyGravatar Thomas Kleymann1998-10-30
* Fixed requires for FSF Emacs.Gravatar David Aspinall1998-10-29
* Added autoload for proof-shell-available-pGravatar David Aspinall1998-10-28
* rearranged code to avoid compiler warning messagesGravatar Thomas Kleymann1998-10-28
* Splash screen added back. Put in Xemacs test for noninteractive toGravatar David Aspinall1998-10-27
* Fixed up proof-script.el for clean byte compileGravatar David Aspinall1998-10-27
* Temp disable splashGravatar David Aspinall1998-10-27
* Begun work on clean byte compilation / clarifying interfaces.Gravatar David Aspinall1998-10-27
* Splash screen now works for FSFGravatar David Aspinall1998-10-26
* Separated splash screen codeGravatar David Aspinall1998-10-22
* Moved user options into proof-configGravatar David Aspinall1998-10-22
* Split proof.el into proof-config.el, proof-script.el, proof-shell.elGravatar David Aspinall1998-10-22
* renamed fume-match-find-next-function-nameGravatar Thomas Kleymann1998-10-22
* fixed bug in fume-match-find-next-function-nameGravatar Thomas Kleymann1998-10-22
* o Replaced proof-register-new-processed-file by -possibly-new- variant.Gravatar David Aspinall1998-10-21
* no longer displays important messages about file assertion/retractionGravatar Thomas Kleymann1998-10-21
* Improved maintainability of code in proof-check-process-available.Gravatar David Aspinall1998-10-21
* fixed a bug in `proof-check-process-available'Gravatar Thomas Kleymann1998-10-21
* o made buffer-file-truename even saferGravatar Thomas Kleymann1998-10-21
* o Improved error messagesGravatar Thomas Kleymann1998-10-21
* Added code to register fully processed file. Multiple file fix list updatedGravatar David Aspinall1998-10-21
* Changed from forcing w3 to using customizable browse-urlGravatar David Aspinall1998-10-21
* Added proof-activate-scripting-hook and fixed regexpsGravatar David Aspinall1998-10-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 01:50:16 +0000