aboutsummaryrefslogtreecommitdiff
path: root/todo
AgeCommit message (Collapse)Author
1998-10-15added B item for ReleaseThomas Kleymann
1998-10-15*** empty log message ***Thomas Kleymann
1998-10-15*** empty log message ***Thomas Kleymann
1998-10-14Removed web page validate, has been done.David Aspinall
1998-10-14Added todo for removing image targets from repository.David Aspinall
1998-10-14Added suggestion about simplifying instantiationDavid Aspinall
1998-10-14Added some items suggested by Markus Wenzel.David Aspinall
1998-10-13Disabled font-lock in process bufferThomas Kleymann
1998-10-12Note about proof-restart-scriptDavid Aspinall
1998-10-12Removed A* items done. Raised importance of FSF Emacs bug fix to A.David Aspinall
1998-10-12Added note about odd message during RPM build.David Aspinall
1998-10-12Added todo for proof-issue-goal, proof-issue-save.David Aspinall
1998-10-12Added message about bug in proof-shell-handle-output on FSF EmacsDavid Aspinall
1998-10-12Added message about bug in proof-retract-until-point.David Aspinall
1998-10-12Removed some stuff thats been done.David Aspinall
1998-10-12Reordered some X'sDavid Aspinall
1998-10-09Addded todo for proof-quit-command. Doc string noteDavid Aspinall
1998-10-09Added todos for: rsh, multi file failure, multi file in Isabelle, splash.David Aspinall
1998-10-09Added todos for: rsh, multi file failure, multi file in Isabelle, splash.David Aspinall
1998-10-08Added SUPERSONIC category, investigated proof-assert-until-point.David Aspinall
1998-10-08*** empty log message ***Thomas Kleymann
1998-10-08Removed check distribution item. Added Isabelle fix.David Aspinall
1998-10-07Removed CVS binary itemDavid Aspinall
1998-10-07Removed some.David Aspinall
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
script buffers, goal buffer and process buffer
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-09 05:18:12 +0000