| Age | Commit message (Expand) | Author |
|---|
| 1998-10-14 | Bug in texi | David Aspinall |
| 1998-10-14 | Set version tag for release. | David Aspinall |
| 1998-10-14 | Added todo for removing image targets from repository. | David Aspinall |
| 1998-10-14 | Other small improvements to adding new proof assistant section. | David Aspinall |
| 1998-10-14 | Added developer's distribution, link to master todo list, images target | David Aspinall |
| 1998-10-14 | Added suggestion about simplifying instantiation | David Aspinall |
| 1998-10-14 | Minor change to notes on adding a new assistant, menu name | David Aspinall |
| 1998-10-14 | Added some items suggested by Markus Wenzel. | David Aspinall |
| 1998-10-13 | Updated to posted version | David Aspinall |
| 1998-10-13 | Added cleanup after 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 | Note about proof-restart-script | David Aspinall |
| 1998-10-12 | Fixed bug in proof-toolbar-qed. | David Aspinall |
| 1998-10-12 | Removed A* items done. Raised importance of FSF Emacs bug fix to A. | David Aspinall |
| 1998-10-12 | Notes about things to put in docs. | David Aspinall |
| 1998-10-12 | Added note about odd message during RPM build. | 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 | Removed setq proof-assistant | David Aspinall |
| 1998-10-12 | Set version tag for release. | David Aspinall |
| 1998-10-12 | Added message about bug in proof-shell-handle-output on FSF Emacs | David Aspinall |
| 1998-10-12 | Added message about bug in proof-retract-until-point. | 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 | Removed some stuff thats been done. | 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 | Bug in variable names | David Aspinall |
| 1998-10-12 | Added more stuff from todo | David Aspinall |
| 1998-10-12 | Simplified appearance of buttons as suggested by tms. | 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 | Important regular expression fixes: | 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-12 | added note about Emacs versions | David Aspinall |
| 1998-10-12 | Customize also works in FSFmacs now | David Aspinall |
| 1998-10-12 | Removed proof-shell-error-regexp's match on warnings -- wrong! | David Aspinall |
| 1998-10-12 | Reordered some X's | 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-09 | Addded todo for proof-quit-command. Doc string note | David Aspinall |
| 1998-10-09 | Added todos for: rsh, multi file failure, multi file in Isabelle, splash. | David Aspinall |
