aboutsummaryrefslogtreecommitdiff
path: root/generic/proof.el
AgeCommit message (Expand)Author
1998-10-13Disabled font-lock in process bufferThomas Kleymann
1998-10-12Added compatibility hack for customize-menu-create.David Aspinall
1998-10-12Added sensible error message for attempting undo on empty locked region.David Aspinall
1998-10-12Made defface's work for dark background Emacsen (default for FSF on Linux).David Aspinall
1998-10-12Dox. Made proof-shell-exec-loop not complain about empty action list.David Aspinall
1998-10-12Splash screen tries gif if jpeg not available. Using hack by tmsDavid Aspinall
1998-10-12Fixed typo.David Aspinall
1998-10-12Toolbar featurep. Separate Internals menu. Doc strings.David Aspinall
1998-10-09Customize group name: prover-config, not proof-config.David Aspinall
1998-10-09Minor bug fixes, code, doc improvements.David Aspinall
1998-10-08Changed binding for C-c RETDavid Aspinall
1998-10-07Added more documentation.David Aspinall
1998-10-05da> BTW, the menus have disappeared!Thomas Kleymann
1998-10-02Moved menu definition back into proof-config-done.David Aspinall
1998-10-02added LEGO support for proof-goal-command and proof-save-commandThomas Kleymann
1998-10-01Updated maintainer tags to remove lego email address.David Aspinall
1998-10-01Added docstrings and comments.David Aspinall
1998-09-23Changed customization group and removed nagging not-busy error messageDavid Aspinall
1998-09-22Cleaned up and improved some code, added docstrings, FIXMEs.David Aspinall
1998-09-17Fix in proof-shell-handle-outputDavid Aspinall
1998-09-17fixed a bug in proof-shell-filter and proof-shell-handle-ouputThomas Kleymann
1998-09-16Moved proof-info-dir into proof-site and defcustom'd it.David Aspinall
1998-09-16fixed implementation fo proof-find-next-terminator;Thomas Kleymann
1998-09-16Improved doc. Removed proof-mode-version-string.\nMade proof-prog-name-ask-p...David Aspinall
1998-09-15Reimplemented proof-shell-popup-eager-annotationThomas Kleymann
1998-09-14Added docs and proof-restart-script-same-process (may need work)David Aspinall
1998-09-10-Added documentationThomas Kleymann
1998-09-09Made proof-assert-next-command move forward by default.David Aspinall
1998-09-09Added Id to headers.David Aspinall
1998-09-08Added FIXMEs.David Aspinall
1998-09-08removed dependency on tl-listThomas Kleymann
1998-09-03Requires proof-site.David Aspinall
1998-09-03Renamed for new subdirectory structureDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 03:53:38 +0000