| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 1998-09-17 | Added docs to release and remoterelease target. | David Aspinall |
| 1998-09-17 | Fixed message about using several assistants | David Aspinall |
| 1998-09-17 | Changed name of info file. | David Aspinall |
| 1998-09-17 | Fix in proof-shell-handle-output | David Aspinall |
| 1998-09-17 | fixed a bug in proof-shell-filter and proof-shell-handle-ouput | Thomas Kleymann |
| 1998-09-16 | Bug in regexp for isa auto-mode-alist. | David Aspinall |
| 1998-09-16 | Moved proof-info-dir into proof-site and defcustom'd it. | David Aspinall |
| 1998-09-16 | Added test schedule item | David Aspinall |
