| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 1998-10-09 | Added todos for: rsh, multi file failure, multi file in Isabelle, splash. | David Aspinall |
| 1998-10-09 | Fixed branch. | David Aspinall |
| 1998-10-09 | Added so-called 8bit gifs with reduced colours. | David Aspinall |
| 1998-10-09 | Changed to build gif files for text logo. | David Aspinall |
| 1998-10-09 | Changed banner to use gif files for text. | David Aspinall |
| 1998-10-09 | Changed banner to use gif files for text. | David Aspinall |
| 1998-10-09 | Deleted files. | David Aspinall |
| 1998-10-09 | No longer needed. | David Aspinall |
| 1998-10-09 | After having spent more than a day on implementing a package for | Thomas Kleymann |
| 1998-10-08 | Validator fix | David Aspinall |
