| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 1998-10-07 | Disabeled remote release | David Aspinall |
| 1998-10-07 | Removed ssh.dcs.ed.ac.uk from remote release. | David Aspinall |
| 1998-10-07 | Removed CVS binary item | David Aspinall |
| 1998-10-07 | Fixup branch | David Aspinall |
| 1998-10-07 | Fixup branch. | David Aspinall |
| 1998-10-07 | Added distclean target | David Aspinall |
| 1998-10-07 | Adjusted so make clean gives clean output from cvs update. | David Aspinall |
| 1998-10-07 | Disabled tags support for Isabelle. | David Aspinall |
| 1998-10-07 | Renamed isa-thy-* to thy-* | 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-07 | Removed lego-settings defgroup, changed to lego. | David Aspinall |
| 1998-10-07 | Removed coq-settings defgroup, changed to coq. | David Aspinall |
