| Age | Commit message (Expand) | Author |
|---|
| 1998-10-01 | Renamed file | David Aspinall |
| 1998-10-01 | Added new images | David Aspinall |
| 1998-10-01 | coqtags is now Perl5 compatible - courtesy of hhg | Thomas Kleymann |
| 1998-09-24 | Removed pdf target so build works on standard DCS machines. | David Aspinall |
| 1998-09-24 | Removed xcf files and image notes from distrib. | David Aspinall |
| 1998-09-24 | Added RPM targets | David Aspinall |
| 1998-09-24 | Added X-rated item about distribution Makefile. | David Aspinall |
| 1998-09-24 | Moved info file and binaries to proper places. | David Aspinall |
| 1998-09-24 | Added INFO-DIR entry | David Aspinall |
| 1998-09-24 | Moved to /usr/lib/emacs | David Aspinall |
| 1998-09-24 | Added %clean | David Aspinall |
| 1998-09-24 | Added note about changing perl path in {coq,lego}tags. | David Aspinall |
| 1998-09-24 | Removed .orig files after patch | David Aspinall |
| 1998-09-24 | For building nice package on Linux. | David Aspinall |
| 1998-09-24 | Fine tuning. | David Aspinall |
| 1998-09-24 | Removed Makefiles from distribution. | David Aspinall |
| 1998-09-24 | New repository name | David Aspinall |
| 1998-09-24 | Item for toolbar icons in low-colour modes | David Aspinall |
| 1998-09-24 | Removed more references to ~lego. | David Aspinall |
| 1998-09-24 | Adjusted directories to /home/proofgen | David Aspinall |
| 1998-09-24 | Removed lego email address, support level notes. | David Aspinall |
| 1998-09-24 | Minor | David Aspinall |
| 1998-09-23 | Example file suggested by Healf. | David Aspinall |
| 1998-09-23 | Updated instructions | David Aspinall |
| 1998-09-23 | Changed customization group name | David Aspinall |
| 1998-09-23 | Missing bracket added | David Aspinall |
| 1998-09-23 | Added more notes about specialization to new provers. | David Aspinall |
| 1998-09-23 | Removed history | David Aspinall |
| 1998-09-23 | Added todo for making completion more flexible, not nec. using tags | David Aspinall |
| 1998-09-23 | Removed tags stuff | David Aspinall |
| 1998-09-23 | Added back isabelle-settings group | David Aspinall |
| 1998-09-23 | Changed customization group name | David Aspinall |
| 1998-09-23 | Error regular expression also matches warnings from Isabelle | David Aspinall |
| 1998-09-23 | Changed customization group, added goal command, better docs | David Aspinall |
| 1998-09-23 | Changed customization group and removed nagging not-busy error message | David Aspinall |
| 1998-09-23 | Removed history, added branding. | David Aspinall |
| 1998-09-23 | Removed toolbar stuff, added items about user-level functions and read-only | David Aspinall |
| 1998-09-23 | Added FORCE dependency for docs. | 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-22 | Fixed docstrings for derived modes | David Aspinall |
| 1998-09-22 | New CD-player type icons | David Aspinall |
| 1998-09-22 | Master files for icons. | David Aspinall |
| 1998-09-17 | Added item about proof-terminal-string | David Aspinall |
| 1998-09-17 | integrated da's comments | Thomas Kleymann |
| 1998-09-17 | Added theory file mode from Isamode. | David Aspinall |
| 1998-09-17 | Wrote specification for handling multiple file development in section Internals | Thomas Kleymann |
| 1998-09-17 | Added cvsclean target | David Aspinall |
