aboutsummaryrefslogtreecommitdiff
path: root/todo
AgeCommit message (Expand)Author
1998-10-07Rearranged a bit, added some, removed some.David Aspinall
1998-10-02Major revision after business lunch with daThomas Kleymann
1998-10-02changed maintainer information to lego@dcs and isabelle@dcs .Thomas Kleymann
1998-10-02Added todo for proof-goal-command, proof-save-commandDavid Aspinall
1998-10-01Added todo for next/previous functions.David Aspinall
1998-10-01Updated.David Aspinall
1998-10-01coqtags is now Perl5 compatible - courtesy of hhgThomas Kleymann
1998-09-24Added X-rated item about distribution Makefile.David Aspinall
1998-09-24Item for toolbar icons in low-colour modesDavid Aspinall
1998-09-23Added todo for making completion more flexible, not nec. using tagsDavid Aspinall
1998-09-23Removed toolbar stuff, added items about user-level functions and read-onlyDavid Aspinall
1998-09-17Added item about proof-terminal-stringDavid Aspinall
1998-09-16Added test schedule itemDavid Aspinall
1998-09-16Documentation acknowleges use of three type of buffers:Thomas Kleymann
1998-09-16Removed item about toolbar error message to do with process handling.David Aspinall
1998-09-16Added low-priority item about improving process handling.David Aspinall
1998-09-14DONE: Reduced number of colours used in iconsDavid Aspinall
1998-09-14Added toolbar todos discussed at business lunch with tmsDavid Aspinall
1998-09-14added todo for fixing buggy web pagesDavid Aspinall
1998-09-11Added some more thingsDavid Aspinall
1998-09-10Done .xbm's and Makefile targets. Added TODO for locked region per file.David Aspinall
1998-09-10Reengineering efforts to exploit 3 buffer model now top priorityThomas Kleymann
1998-09-09UpdatedDavid Aspinall
1998-09-09*** empty log message ***Thomas Kleymann
1998-09-08Added todos for toolbar.David Aspinall
1998-09-08Added items, assigned some to daDavid Aspinall
1998-09-08assigned a task to tmsThomas Kleymann
1998-09-03A Sometimes e.g., ~tms/lego/imperative/recursion/Prepare_vc.l,Thomas Kleymann
1998-09-03Requirement for test script addedDavid Aspinall
1998-09-03Dead code.David Aspinall
1998-09-03Added some items.David Aspinall
1998-09-03Added more items.David Aspinall
1998-09-02o rearranged Release entryThomas Kleymann
1998-09-02Added make-ready for distribtion item. (2h, da)David Aspinall
1998-09-01integrated comments following 1 Sep 98 discussion with Dave AspinallThomas Kleymann
1998-08-27todoDavid Aspinall
1998-08-21todoDavid Aspinall
1998-08-14improved help submenu for LEGOThomas Kleymann
1998-08-07*** empty log message ***Thomas Kleymann
1998-06-02Structured review now done.Healfdene Goguen
1998-05-29o outsourced indentation to proof-indentThomas Kleymann
1998-05-26Necessary changes for emacs19 versionHealfdene Goguen
1998-05-21Changing buffers now works.Healfdene Goguen
1998-05-21Fixed lifting globals.Healfdene Goguen
1998-05-19Removed indentation problem.Healfdene Goguen
1998-05-16*** empty log message ***Thomas Kleymann
1998-05-15Added problem with indentation.Healfdene Goguen
1998-05-13revised in light of today's meeting with hhgThomas Kleymann
1998-05-12Added documentation for C-c C-s in Coq mode.Healfdene Goguen
1998-05-08Updated todo list.Healfdene Goguen
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-19 20:20:23 +0000