| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 1998-09-08 | assigned a task to tms | Thomas Kleymann |
| 1998-09-03 | A Sometimes e.g., ~tms/lego/imperative/recursion/Prepare_vc.l, | Thomas Kleymann |
| 1998-09-03 | Requirement for test script added | David Aspinall |
| 1998-09-03 | Dead code. | David Aspinall |
| 1998-09-03 | Added some items. | David Aspinall |
| 1998-09-03 | Added more items. | David Aspinall |
| 1998-09-02 | o rearranged Release entry | Thomas Kleymann |
| 1998-09-02 | Added make-ready for distribtion item. (2h, da) | David Aspinall |
| 1998-09-01 | integrated comments following 1 Sep 98 discussion with Dave Aspinall | Thomas Kleymann |
| 1998-08-27 | todo | David Aspinall |
| 1998-08-21 | todo | David Aspinall |
| 1998-08-14 | improved help submenu for LEGO | Thomas Kleymann |
| 1998-08-07 | *** empty log message *** | Thomas Kleymann |
| 1998-06-02 | Structured review now done. | Healfdene Goguen |
| 1998-05-29 | o outsourced indentation to proof-indent | Thomas Kleymann |
