| Age | Commit message (Expand) | Author |
|---|
| 1998-10-23 | Updated todo's for isabelle | David Aspinall |
| 1998-10-22 | Added todo for clean byte compile | David Aspinall |
| 1998-10-22 | renamed fume-match-find-next-function-name | Thomas Kleymann |
| 1998-10-22 | fixed bug in fume-match-find-next-function-name | Thomas Kleymann |
| 1998-10-22 | Added notes on Isa multi files, web page improvements | David Aspinall |
| 1998-10-21 | *** empty log message *** | Thomas Kleymann |
| 1998-10-21 | Added todo for save-some-buffers | David Aspinall |
| 1998-10-21 | Added code to register fully processed file. Multiple file fix list updated | David Aspinall |
| 1998-10-21 | todos for multi files and Isabelle annotations | David Aspinall |
| 1998-10-20 | Reverted | David Aspinall |
| 1998-10-20 | Test for new branch commit | David Aspinall |
| 1998-10-20 | Added todo for FSF Emacs info file | David Aspinall |
| 1998-10-20 | Updated screenshot. | David Aspinall |
| 1998-10-20 | Screenshot is out of date | Thomas Kleymann |
| 1998-10-19 | reordered two items | Thomas Kleymann |
| 1998-10-19 | todo for multiple files in Isabelle | David Aspinall |
| 1998-10-19 | Added todo for Isabelle multiple files | David Aspinall |
| 1998-10-19 | Added todo for byte-compilation | David Aspinall |
| 1998-10-18 | support for nested goals is now restricted to Coq | Thomas Kleymann |
| 1998-10-18 | Reimplemented multiple file proof developments | Thomas Kleymann |
| 1998-10-15 | added B item for Release | Thomas Kleymann |
| 1998-10-15 | *** empty log message *** | Thomas Kleymann |
| 1998-10-15 | *** empty log message *** | Thomas Kleymann |
| 1998-10-14 | Removed web page validate, has been done. | David Aspinall |
| 1998-10-14 | Added todo for removing image targets from repository. | David Aspinall |
| 1998-10-14 | Added suggestion about simplifying instantiation | David Aspinall |
| 1998-10-14 | Added some items suggested by Markus Wenzel. | David Aspinall |
| 1998-10-13 | Disabled font-lock in process buffer | Thomas Kleymann |
| 1998-10-12 | Note about proof-restart-script | David Aspinall |
| 1998-10-12 | Removed A* items done. Raised importance of FSF Emacs bug fix to A. | David Aspinall |
| 1998-10-12 | Added note about odd message during RPM build. | David Aspinall |
| 1998-10-12 | Added todo for proof-issue-goal, proof-issue-save. | David Aspinall |
| 1998-10-12 | Added message about bug in proof-shell-handle-output on FSF Emacs | David Aspinall |
| 1998-10-12 | Added message about bug in proof-retract-until-point. | David Aspinall |
| 1998-10-12 | Removed some stuff thats been done. | David Aspinall |
| 1998-10-12 | Reordered some X's | David Aspinall |
| 1998-10-09 | Addded todo for proof-quit-command. Doc string note | David Aspinall |
| 1998-10-09 | Added todos for: rsh, multi file failure, multi file in Isabelle, splash. | David Aspinall |
| 1998-10-09 | Added todos for: rsh, multi file failure, multi file in Isabelle, splash. | David Aspinall |
| 1998-10-08 | Added SUPERSONIC category, investigated proof-assert-until-point. | David Aspinall |
| 1998-10-08 | *** empty log message *** | Thomas Kleymann |
| 1998-10-08 | Removed check distribution item. Added Isabelle fix. | David Aspinall |
| 1998-10-07 | Removed CVS binary item | David Aspinall |
| 1998-10-07 | Removed some. | David Aspinall |
| 1998-10-07 | Rearranged a bit, added some, removed some. | David Aspinall |
| 1998-10-02 | Major revision after business lunch with da | Thomas Kleymann |
| 1998-10-02 | changed maintainer information to lego@dcs and isabelle@dcs . | Thomas Kleymann |
| 1998-10-02 | Added todo for proof-goal-command, proof-save-command | David Aspinall |
| 1998-10-01 | Added todo for next/previous functions. | David Aspinall |
| 1998-10-01 | Updated. | David Aspinall |
