aboutsummaryrefslogtreecommitdiffhomepage
path: root/todo
Commit message (Expand)AuthorAge
* 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
* prioritisedGravatar Thomas Kleymann1998-02-11
* *** empty log message ***Gravatar Thomas Kleymann1998-02-10
* One needed change for coq includedGravatar Healfdene Goguen1998-01-15
* *** empty log message ***Gravatar Thomas Kleymann1997-12-18
* Noted bug in popup-eager-annotationGravatar Dilip Sequiera1997-11-26
* A few new suggestionsGravatar Healfdene Goguen1997-11-26
* Fixed outstanding things to be updated in Coq.Gravatar Healfdene Goguen1997-11-20
* Added indentation for lego-mode.Gravatar Dilip Sequiera1997-11-18
* Added some magic commands: proof-frob-locked-end, proof-try-command,Gravatar Dilip Sequiera1997-11-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 06:11:05 +0000