| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 1998-10-08 | Better summary line | David Aspinall |
| 1998-10-08 | Added untag target for rebuilding on same day. | David Aspinall |
| 1998-10-08 | Validator fixes | David Aspinall |
| 1998-10-08 | Fixed Validator URLs | David Aspinall |
| 1998-10-08 | Changed 'ln -sf' to 'rm ; ln' because link got put into directory. | David Aspinall |
| 1998-10-08 | Added fixup to specfile because dcs.ed has old RPM installed. | David Aspinall |
| 1998-10-08 | Now edits full version of name of release in download.html | David Aspinall |
| 1998-10-08 | Set version tag for release. | David Aspinall |
| 1998-10-08 | Fixed typo. | David Aspinall |
| 1998-10-08 | Added auto checking for Proofgeneral.spec. | David Aspinall |
| 1998-10-08 | Removed hyphen from prerelease name. | David Aspinall |
| 1998-10-08 | Made full prerelease name be name of tar file and RPM file. | David Aspinall |
| 1998-10-08 | Changed binding for C-c RET | David Aspinall |
| 1998-10-08 | Added SUPERSONIC category, investigated proof-assert-until-point. | David Aspinall |
| 1998-10-08 | *** empty log message *** | Thomas Kleymann |
| 1998-10-08 | Removed check distribution item. Added Isabelle fix. | David Aspinall |
| 1998-10-08 | removed bra-types and uitp from pre-release message | Thomas Kleymann |
| 1998-10-08 | Removed images/Makefile from distrib. | David Aspinall |
| 1998-10-08 | Moved from /usr/lib to /usr/share | David Aspinall |
| 1998-10-08 | Removed mysterious @ignores around info dir entry. | David Aspinall |
| 1998-10-07 | Still bad ('cos release is -kv), removed $ from patch. | David Aspinall |
| 1998-10-07 | Updated for new proof-site.el | David Aspinall |
