Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Major revision after business lunch with da | 1998-10-02 | |
| | |||
* | changed maintainer information to lego@dcs and isabelle@dcs . | 1998-10-02 | |
| | |||
* | Added todo for proof-goal-command, proof-save-command | 1998-10-02 | |
| | |||
* | Added todo for next/previous functions. | 1998-10-01 | |
| | |||
* | Updated. | 1998-10-01 | |
| | |||
* | coqtags is now Perl5 compatible - courtesy of hhg | 1998-10-01 | |
| | |||
* | Added X-rated item about distribution Makefile. | 1998-09-24 | |
| | |||
* | Item for toolbar icons in low-colour modes | 1998-09-24 | |
| | |||
* | Added todo for making completion more flexible, not nec. using tags | 1998-09-23 | |
| | |||
* | Removed toolbar stuff, added items about user-level functions and read-only | 1998-09-23 | |
| | |||
* | Added item about proof-terminal-string | 1998-09-17 | |
| | |||
* | Added test schedule item | 1998-09-16 | |
| | |||
* | Documentation acknowleges use of three type of buffers: | 1998-09-16 | |
| | | | | script buffers, goal buffer and process buffer | ||
* | Removed item about toolbar error message to do with process handling. | 1998-09-16 | |
| | |||
* | Added low-priority item about improving process handling. | 1998-09-16 | |
| | |||
* | DONE: Reduced number of colours used in icons | 1998-09-14 | |
| | |||
* | Added toolbar todos discussed at business lunch with tms | 1998-09-14 | |
| | |||
* | added todo for fixing buggy web pages | 1998-09-14 | |
| | |||
* | Added some more things | 1998-09-11 | |
| | |||
* | Done .xbm's and Makefile targets. Added TODO for locked region per file. | 1998-09-10 | |
| | |||
* | Reengineering efforts to exploit 3 buffer model now top priority | 1998-09-10 | |
| | |||
* | Updated | 1998-09-09 | |
| | |||
* | *** empty log message *** | 1998-09-09 | |
| | |||
* | Added todos for toolbar. | 1998-09-08 | |
| | |||
* | Added items, assigned some to da | 1998-09-08 | |
| | |||
* | assigned a task to tms | 1998-09-08 | |
| | |||
* | A Sometimes e.g., ~tms/lego/imperative/recursion/Prepare_vc.l, | 1998-09-03 | |
| | | | | | | | annotations are recorded in the object file. This needs to be changed in the SML code. (initially 2h tms) Done. :-) | ||
* | Requirement for test script added | 1998-09-03 | |
| | |||
* | Dead code. | 1998-09-03 | |
| | |||
* | Added some items. | 1998-09-03 | |
| | |||
* | Added more items. | 1998-09-03 | |
| | |||
* | o rearranged Release entry | 1998-09-02 | |
| | | | | o allocated a task to tms | ||
* | Added make-ready for distribtion item. (2h, da) | 1998-09-02 | |
| | |||
* | integrated comments following 1 Sep 98 discussion with Dave Aspinall | 1998-09-01 | |
| | | | | on design principles in light of an Emacs mode for Isabelle | ||
* | todo | 1998-08-27 | |
| | |||
* | todo | 1998-08-21 | |
| | |||
* | improved help submenu for LEGO | 1998-08-14 | |
| | | | | - added a link to the library and the reference card for version 1.3 | ||
* | *** empty log message *** | 1998-08-07 | |
| | |||
* | Structured review now done. | 1998-06-02 | |
| | | | | Added item that we need to write proof-retract-file. | ||
* | o outsourced indentation to proof-indent | 1998-05-29 | |
| | | | | | | | o support indentation of commands o replaced test of Emacs version with availability test of specific features o C-c C-c, C-c C-v and M-tab is now available in all buffers | ||
* | Necessary changes for emacs19 version | 1998-05-26 | |
| | |||
* | Changing buffers now works. | 1998-05-21 | |
| | |||
* | Fixed lifting globals. | 1998-05-21 | |
| | | | | | Added problem of buffers and need for incremental adding of tactics in Coq. | ||
* | Removed indentation problem. | 1998-05-19 | |
| | | | | Added comments about current state of emacs19 port. | ||
* | *** empty log message *** | 1998-05-16 | |
| | |||
* | Added problem with indentation. | 1998-05-15 | |
| | |||
* | revised in light of today's meeting with hhg | 1998-05-13 | |
| | |||
* | Added documentation for C-c C-s in Coq mode. | 1998-05-12 | |
| | | | | Fixed problem with tabbing changing buffers. | ||
* | Updated todo list. | 1998-05-08 | |
| | |||
* | Coq now restarts if going back to beginning of proof. | 1998-05-05 | |
| |