| Age | Commit message (Expand) | Author |
|---|
| 1998-10-15 | added B item for Release | Thomas Kleymann |
| 1998-10-15 | *** empty log message *** | Thomas Kleymann |
| 1998-10-15 | *** empty log message *** | Thomas Kleymann |
| 1998-10-14 | Removed web page validate, has been done. | David Aspinall |
| 1998-10-14 | Added todo for removing image targets from repository. | David Aspinall |
| 1998-10-14 | Added suggestion about simplifying instantiation | David Aspinall |
| 1998-10-14 | Added some items suggested by Markus Wenzel. | David Aspinall |
| 1998-10-13 | Disabled font-lock in process buffer | Thomas Kleymann |
| 1998-10-12 | Note about proof-restart-script | David Aspinall |
| 1998-10-12 | Removed A* items done. Raised importance of FSF Emacs bug fix to A. | David Aspinall |
| 1998-10-12 | Added note about odd message during RPM build. | David Aspinall |
| 1998-10-12 | Added todo for proof-issue-goal, proof-issue-save. | 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 | Removed some stuff thats been done. | David Aspinall |
| 1998-10-12 | Reordered some X's | 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-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-07 | Removed CVS binary item | David Aspinall |
| 1998-10-07 | Removed some. | David Aspinall |
| 1998-10-07 | Rearranged a bit, added some, removed some. | David Aspinall |
| 1998-10-02 | Major revision after business lunch with da | Thomas Kleymann |
| 1998-10-02 | changed maintainer information to lego@dcs and isabelle@dcs . | Thomas Kleymann |
| 1998-10-02 | Added todo for proof-goal-command, proof-save-command | David Aspinall |
| 1998-10-01 | Added todo for next/previous functions. | David Aspinall |
| 1998-10-01 | Updated. | David Aspinall |
| 1998-10-01 | coqtags is now Perl5 compatible - courtesy of hhg | Thomas Kleymann |
| 1998-09-24 | Added X-rated item about distribution Makefile. | David Aspinall |
| 1998-09-24 | Item for toolbar icons in low-colour modes | David Aspinall |
| 1998-09-23 | Added todo for making completion more flexible, not nec. using tags | David Aspinall |
| 1998-09-23 | Removed toolbar stuff, added items about user-level functions and read-only | David Aspinall |
| 1998-09-17 | Added item about proof-terminal-string | David Aspinall |
| 1998-09-16 | Added test schedule item | David Aspinall |
| 1998-09-16 | Documentation acknowleges use of three type of buffers: | Thomas Kleymann |
| 1998-09-16 | Removed item about toolbar error message to do with process handling. | David Aspinall |
| 1998-09-16 | Added low-priority item about improving process handling. | David Aspinall |
| 1998-09-14 | DONE: Reduced number of colours used in icons | David Aspinall |
| 1998-09-14 | Added toolbar todos discussed at business lunch with tms | David Aspinall |
| 1998-09-14 | added todo for fixing buggy web pages | David Aspinall |
| 1998-09-11 | Added some more things | David Aspinall |
| 1998-09-10 | Done .xbm's and Makefile targets. Added TODO for locked region per file. | David Aspinall |
| 1998-09-10 | Reengineering efforts to exploit 3 buffer model now top priority | Thomas Kleymann |
| 1998-09-09 | Updated | David Aspinall |
| 1998-09-09 | *** empty log message *** | Thomas Kleymann |
| 1998-09-08 | Added todos for toolbar. | David Aspinall |
| 1998-09-08 | Added items, assigned some to da | David Aspinall |
