| Commit message (Expand) | Author | Age |
* | Reordered some X's | David Aspinall | 1998-10-12 |
* | 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 |
* | 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 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-07 |
* | 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-02 |
* | 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-10-01 |
* | Added X-rated item about distribution Makefile. | David Aspinall | 1998-09-24 |
* | Item for toolbar icons in low-colour modes | David Aspinall | 1998-09-24 |
* | 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-23 |
* | Added item about proof-terminal-string | David Aspinall | 1998-09-17 |
* | 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-16 |
* | 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-14 |
* | Added some more things | David Aspinall | 1998-09-11 |
* | 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-10 |
* | Updated | David Aspinall | 1998-09-09 |
* | *** empty log message *** | Thomas Kleymann | 1998-09-09 |
* | 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-08 |
* | 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-03 |
* | o rearranged Release entry | Thomas Kleymann | 1998-09-02 |
* | Added make-ready for distribtion item. (2h, da) | David Aspinall | 1998-09-02 |
* | integrated comments following 1 Sep 98 discussion with Dave Aspinall | Thomas Kleymann | 1998-09-01 |
* | todo | David Aspinall | 1998-08-27 |
* | todo | David Aspinall | 1998-08-21 |
* | improved help submenu for LEGO | Thomas Kleymann | 1998-08-14 |
* | *** empty log message *** | Thomas Kleymann | 1998-08-07 |
* | Structured review now done. | Healfdene Goguen | 1998-06-02 |
* | o outsourced indentation to proof-indent | Thomas Kleymann | 1998-05-29 |