aboutsummaryrefslogtreecommitdiff
path: root/todo
AgeCommit message (Collapse)Author
1998-10-23Updated todo's for isabelleDavid Aspinall
1998-10-22Added todo for clean byte compileDavid Aspinall
1998-10-22renamed fume-match-find-next-function-nameThomas Kleymann
1998-10-22fixed bug in fume-match-find-next-function-nameThomas Kleymann
1998-10-22Added notes on Isa multi files, web page improvementsDavid Aspinall
1998-10-21*** empty log message ***Thomas Kleymann
1998-10-21Added todo for save-some-buffersDavid Aspinall
1998-10-21Added code to register fully processed file. Multiple file fix list updatedDavid Aspinall
1998-10-21todos for multi files and Isabelle annotationsDavid Aspinall
1998-10-20RevertedDavid Aspinall
1998-10-20Test for new branch commitDavid Aspinall
1998-10-20Added todo for FSF Emacs info fileDavid Aspinall
1998-10-20Updated screenshot.David Aspinall
1998-10-20Screenshot is out of dateThomas Kleymann
1998-10-19reordered two itemsThomas Kleymann
1998-10-19todo for multiple files in IsabelleDavid Aspinall
1998-10-19Added todo for Isabelle multiple filesDavid Aspinall
1998-10-19Added todo for byte-compilationDavid Aspinall
1998-10-18support for nested goals is now restricted to CoqThomas Kleymann
1998-10-18Reimplemented multiple file proof developmentsThomas Kleymann
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-09-24 19:04:42 +0000