aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof.el
Commit message (Expand)AuthorAge
* da> BTW, the menus have disappeared!Gravatar Thomas Kleymann1998-10-05
* Moved menu definition back into proof-config-done.Gravatar David Aspinall1998-10-02
* added LEGO support for proof-goal-command and proof-save-commandGravatar Thomas Kleymann1998-10-02
* Updated maintainer tags to remove lego email address.Gravatar David Aspinall1998-10-01
* Added docstrings and comments.Gravatar David Aspinall1998-10-01
* Changed customization group and removed nagging not-busy error messageGravatar David Aspinall1998-09-23
* Cleaned up and improved some code, added docstrings, FIXMEs.Gravatar David Aspinall1998-09-22
* Fix in proof-shell-handle-outputGravatar David Aspinall1998-09-17
* fixed a bug in proof-shell-filter and proof-shell-handle-ouputGravatar Thomas Kleymann1998-09-17
* Moved proof-info-dir into proof-site and defcustom'd it.Gravatar David Aspinall1998-09-16
* fixed implementation fo proof-find-next-terminator;Gravatar Thomas Kleymann1998-09-16
* Improved doc. Removed proof-mode-version-string.\nMade proof-prog-name-ask-p...Gravatar David Aspinall1998-09-16
* Reimplemented proof-shell-popup-eager-annotationGravatar Thomas Kleymann1998-09-15
* Added docs and proof-restart-script-same-process (may need work)Gravatar David Aspinall1998-09-14
* -Added documentationGravatar Thomas Kleymann1998-09-10
* Made proof-assert-next-command move forward by default.Gravatar David Aspinall1998-09-09
* Added Id to headers.Gravatar David Aspinall1998-09-09
* Added FIXMEs.Gravatar David Aspinall1998-09-08
* removed dependency on tl-listGravatar Thomas Kleymann1998-09-08
* Requires proof-site.Gravatar David Aspinall1998-09-03
* Renamed for new subdirectory structureGravatar David Aspinall1998-09-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 09:11:13 +0000