| Age | Commit message (Expand) | Author |
|---|
| 1998-10-15 | Set version tag for new release. | David Aspinall |
| 1998-10-14 | Set version tag for release. | David Aspinall |
| 1998-10-13 | Disabled font-lock in process buffer | Thomas Kleymann |
| 1998-10-13 | Set version tag for release. | David Aspinall |
| 1998-10-12 | Fixed bug in proof-toolbar-qed. | David Aspinall |
| 1998-10-12 | Fixed broken tagging | David Aspinall |
| 1998-10-12 | Added todo for proof-issue-goal, proof-issue-save. | David Aspinall |
| 1998-10-12 | Made toolbar functions interactive, needed by old XEmacs. | David Aspinall |
| 1998-10-12 | Made toolbar functions interactive, needed by old XEmacs. | David Aspinall |
| 1998-10-12 | Made toolbar functions interactive, needed by old XEmacs. | David Aspinall |
| 1998-10-12 | Added compatibility hack for customize-menu-create. | David Aspinall |
| 1998-10-12 | Added sensible error message for attempting undo on empty locked region. | David Aspinall |
| 1998-10-12 | Removed toolbar enablers. XEmacs isnt ready for them yet. | David Aspinall |
| 1998-10-12 | Made defface's work for dark background Emacsen (default for FSF on Linux). | David Aspinall |
| 1998-10-12 | Dox. Made proof-shell-exec-loop not complain about empty action list. | David Aspinall |
| 1998-10-12 | Made toolbar functions leave point alone, mostly. | David Aspinall |
| 1998-10-12 | Splash screen tries gif if jpeg not available. Using hack by tms | David Aspinall |
| 1998-10-12 | Fixed typo. | David Aspinall |
| 1998-10-12 | Doc strings | David Aspinall |
| 1998-10-12 | Toolbar featurep. Separate Internals menu. Doc strings. | David Aspinall |
| 1998-10-12 | Removed proof-internal cus grp from proof group. | David Aspinall |
| 1998-10-09 | Customize group name: prover-config, not proof-config. | David Aspinall |
| 1998-10-09 | Minor bug fixes, code, doc improvements. | David Aspinall |
| 1998-10-08 | Changed binding for C-c RET | David Aspinall |
| 1998-10-07 | Added more documentation. | David Aspinall |
| 1998-10-07 | Added detection of less than 16 bit colour depth to display 8bit | David Aspinall |
| 1998-10-07 | Munged name of customization variables so that menus display nicely. | David Aspinall |
| 1998-10-05 | da> BTW, the menus have disappeared! | Thomas Kleymann |
| 1998-10-02 | Moved menu definition back into proof-config-done. | David Aspinall |
| 1998-10-02 | Added $ to coq automode regexp | David Aspinall |
| 1998-10-02 | added LEGO support for proof-goal-command and proof-save-command | Thomas Kleymann |
| 1998-10-01 | Updated maintainer tags to remove lego email address. | David Aspinall |
| 1998-10-01 | Added documentation for user-level functions. | David Aspinall |
| 1998-10-01 | Added doc strings | David Aspinall |
| 1998-10-01 | Added qed button. Fixed enabler predicates. | David Aspinall |
| 1998-10-01 | Added docstrings and comments. | David Aspinall |
| 1998-09-23 | Changed customization group name | David Aspinall |
| 1998-09-23 | Changed customization group and removed nagging not-busy error message | David Aspinall |
| 1998-09-23 | Removed "myass" test entry. | David Aspinall |
| 1998-09-23 | Made configuration more sophisticated: | David Aspinall |
| 1998-09-22 | Cleaned up and improved some code, added docstrings, FIXMEs. | David Aspinall |
| 1998-09-22 | Added new buttons, changed icons. | David Aspinall |
| 1998-09-17 | Fix in proof-shell-handle-output | David Aspinall |
| 1998-09-17 | fixed a bug in proof-shell-filter and proof-shell-handle-ouput | Thomas Kleymann |
| 1998-09-16 | Bug in regexp for isa auto-mode-alist. | David Aspinall |
| 1998-09-16 | Moved proof-info-dir into proof-site and defcustom'd it. | David Aspinall |
| 1998-09-16 | fixed implementation fo proof-find-next-terminator; | Thomas Kleymann |
| 1998-09-16 | Isabelle Proof General loads for .thy as well as .ML files. | David Aspinall |
| 1998-09-16 | Improved doc. Removed proof-mode-version-string.\nMade proof-prog-name-ask-p... | David Aspinall |
| 1998-09-15 | Reimplemented proof-shell-popup-eager-annotation | Thomas Kleymann |
