aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof.el
Commit message (Expand)AuthorAge
...
* Changed minibuffer tag to have name of prover instead of ProofGravatar David Aspinall1998-10-20
* Bug fixes for multiple file code, da/tms.Gravatar David Aspinall1998-10-19
* support for nested goals is now restricted to CoqGravatar Thomas Kleymann1998-10-18
* Reimplemented multiple file proof developmentsGravatar Thomas Kleymann1998-10-18
* Disabled font-lock in process bufferGravatar Thomas Kleymann1998-10-13
* Added compatibility hack for customize-menu-create.Gravatar David Aspinall1998-10-12
* Added sensible error message for attempting undo on empty locked region.Gravatar David Aspinall1998-10-12
* Made defface's work for dark background Emacsen (default for FSF on Linux).Gravatar David Aspinall1998-10-12
* Dox. Made proof-shell-exec-loop not complain about empty action list.Gravatar David Aspinall1998-10-12
* Splash screen tries gif if jpeg not available. Using hack by tmsGravatar David Aspinall1998-10-12
* Fixed typo.Gravatar David Aspinall1998-10-12
* Toolbar featurep. Separate Internals menu. Doc strings.Gravatar David Aspinall1998-10-12
* Customize group name: prover-config, not proof-config.Gravatar David Aspinall1998-10-09
* Minor bug fixes, code, doc improvements.Gravatar David Aspinall1998-10-09
* Changed binding for C-c RETGravatar David Aspinall1998-10-08
* Added more documentation.Gravatar David Aspinall1998-10-07
* 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-07-03 00:58:23 +0000