| Commit message (Expand) | Author | Age |
* | Begun work on clean byte compilation / clarifying interfaces. | David Aspinall | 1998-10-27 |
* | Priority changes | David Aspinall | 1998-10-27 |
* | Fixed urgent message stuff. proof-shell-process-urgent-messages | David Aspinall | 1998-10-27 |
* | Checked through span code. Commented out dead bits | David Aspinall | 1998-10-27 |
* | Renamed proof-invisible-command proof-shell-invisible-command. | David Aspinall | 1998-10-27 |
* | *** empty log message *** | Thomas Kleymann | 1998-10-26 |
* | Updated | David Aspinall | 1998-10-26 |
* | WARNING message about pending changes | David Aspinall | 1998-10-23 |
* | Updated todo's for isabelle | David Aspinall | 1998-10-23 |
* | 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-22 |
* | *** 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-21 |
* | 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-20 |
* | 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-19 |
* | support for nested goals is now restricted to Coq | Thomas Kleymann | 1998-10-18 |
* | Reimplemented multiple file proof developments | Thomas Kleymann | 1998-10-18 |
* | 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-15 |
* | 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-14 |
* | Disabled font-lock in process buffer | Thomas Kleymann | 1998-10-13 |
* | 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-12 |
* | 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-09 |
* | 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-08 |