aboutsummaryrefslogtreecommitdiffhomepage
path: root/todo
Commit message (Expand)AuthorAge
* Major revision after business lunch with daGravatar Thomas Kleymann1998-10-02
* changed maintainer information to lego@dcs and isabelle@dcs .Gravatar Thomas Kleymann1998-10-02
* Added todo for proof-goal-command, proof-save-commandGravatar David Aspinall1998-10-02
* Added todo for next/previous functions.Gravatar David Aspinall1998-10-01
* Updated.Gravatar David Aspinall1998-10-01
* coqtags is now Perl5 compatible - courtesy of hhgGravatar Thomas Kleymann1998-10-01
* Added X-rated item about distribution Makefile.Gravatar David Aspinall1998-09-24
* Item for toolbar icons in low-colour modesGravatar David Aspinall1998-09-24
* Added todo for making completion more flexible, not nec. using tagsGravatar David Aspinall1998-09-23
* Removed toolbar stuff, added items about user-level functions and read-onlyGravatar David Aspinall1998-09-23
* Added item about proof-terminal-stringGravatar David Aspinall1998-09-17
* Added test schedule itemGravatar David Aspinall1998-09-16
* Documentation acknowleges use of three type of buffers:Gravatar Thomas Kleymann1998-09-16
* Removed item about toolbar error message to do with process handling.Gravatar David Aspinall1998-09-16
* Added low-priority item about improving process handling.Gravatar David Aspinall1998-09-16
* DONE: Reduced number of colours used in iconsGravatar David Aspinall1998-09-14
* Added toolbar todos discussed at business lunch with tmsGravatar David Aspinall1998-09-14
* added todo for fixing buggy web pagesGravatar David Aspinall1998-09-14
* Added some more thingsGravatar David Aspinall1998-09-11
* Done .xbm's and Makefile targets. Added TODO for locked region per file.Gravatar David Aspinall1998-09-10
* Reengineering efforts to exploit 3 buffer model now top priorityGravatar Thomas Kleymann1998-09-10
* UpdatedGravatar David Aspinall1998-09-09
* *** empty log message ***Gravatar Thomas Kleymann1998-09-09
* Added todos for toolbar.Gravatar David Aspinall1998-09-08
* Added items, assigned some to daGravatar David Aspinall1998-09-08
* assigned a task to tmsGravatar Thomas Kleymann1998-09-08
* A Sometimes e.g., ~tms/lego/imperative/recursion/Prepare_vc.l,Gravatar Thomas Kleymann1998-09-03
* Requirement for test script addedGravatar David Aspinall1998-09-03
* Dead code.Gravatar David Aspinall1998-09-03
* Added some items.Gravatar David Aspinall1998-09-03
* Added more items.Gravatar David Aspinall1998-09-03
* o rearranged Release entryGravatar Thomas Kleymann1998-09-02
* Added make-ready for distribtion item. (2h, da)Gravatar David Aspinall1998-09-02
* integrated comments following 1 Sep 98 discussion with Dave AspinallGravatar Thomas Kleymann1998-09-01
* todoGravatar David Aspinall1998-08-27
* todoGravatar David Aspinall1998-08-21
* improved help submenu for LEGOGravatar Thomas Kleymann1998-08-14
* *** empty log message ***Gravatar Thomas Kleymann1998-08-07
* Structured review now done.Gravatar Healfdene Goguen1998-06-02
* o outsourced indentation to proof-indentGravatar Thomas Kleymann1998-05-29
* Necessary changes for emacs19 versionGravatar Healfdene Goguen1998-05-26
* Changing buffers now works.Gravatar Healfdene Goguen1998-05-21
* Fixed lifting globals.Gravatar Healfdene Goguen1998-05-21
* Removed indentation problem.Gravatar Healfdene Goguen1998-05-19
* *** empty log message ***Gravatar Thomas Kleymann1998-05-16
* Added problem with indentation.Gravatar Healfdene Goguen1998-05-15
* revised in light of today's meeting with hhgGravatar Thomas Kleymann1998-05-13
* Added documentation for C-c C-s in Coq mode.Gravatar Healfdene Goguen1998-05-12
* Updated todo list.Gravatar Healfdene Goguen1998-05-08
* Coq now restarts if going back to beginning of proof.Gravatar Healfdene Goguen1998-05-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 19:55:46 +0000