aboutsummaryrefslogtreecommitdiff
path: root/todo
AgeCommit message (Expand)Author
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
1998-05-05Coq now restarts if going back to beginning of proof.Healfdene Goguen
1998-02-11prioritisedThomas Kleymann
1998-02-10*** empty log message ***Thomas Kleymann
1998-01-15One needed change for coq includedHealfdene Goguen
1997-12-18*** empty log message ***Thomas Kleymann
1997-11-26Noted bug in popup-eager-annotationDilip Sequiera
1997-11-26A few new suggestionsHealfdene Goguen
1997-11-20Fixed outstanding things to be updated in Coq.Healfdene Goguen
1997-11-18Added indentation for lego-mode.Dilip Sequiera
1997-11-17Added some magic commands: proof-frob-locked-end, proof-try-command,Dilip Sequiera
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 04:01:34 +0000