Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | o added support for byte-compilation | Thomas Kleymann | 1998-11-01 |
| | | | | | | | o removed hhg tags in todo o fixed font-lock for FSF Emacs 20.2 o ensured that goals buffer is updated for longer queues o fixed a bug in proof-universal-keys-only-mode | ||
* | implemented new buffer model. The goals buffer is now exclusively | Thomas Kleymann | 1998-10-30 |
| | | | | reserved for goals. | ||
* | replaced some occurences of (current-buffer) by proof-shell-buffer to | Thomas Kleymann | 1998-10-30 |
| | | | | make code more robust | ||
* | Multiple files bug fix request | David Aspinall | 1998-10-29 |
| | |||
* | Items removed, items added. | David Aspinall | 1998-10-29 |
| | |||
* | Added low-level priority todo | David Aspinall | 1998-10-28 |
| | |||
* | rearranged code to avoid compiler warning messages | Thomas Kleymann | 1998-10-28 |
| | |||
* | Byte comp item | David Aspinall | 1998-10-27 |
| | |||
* | Made handling of multiple files more robust. On changing script | Thomas Kleymann | 1998-10-27 |
| | | | | | buffers, we invoke (save-some-buffers). Furthermore, we warn the user if modified buffers have been read in by the proof assistant. | ||
* | Demoted some priorities to X and moved down list | David Aspinall | 1998-10-27 |
| | |||
* | 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 |
| | | | | now seems to correctly observe all messages which pass through. | ||
* | 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 |
| | | | | | | | Removed superfluous optional 'relaxed' argument from: proof-shell-invisibile-command, proof-grab-lock, proof-start-queue. | ||
* | *** 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 |
| |