| Age | Commit message (Expand) | Author |
|---|---|---|
| 1998-09-17 | Fix in proof-shell-handle-output | David Aspinall |
| 1998-09-17 | fixed a bug in proof-shell-filter and proof-shell-handle-ouput | Thomas Kleymann |
| 1998-09-16 | Moved proof-info-dir into proof-site and defcustom'd it. | David Aspinall |
| 1998-09-16 | fixed implementation fo proof-find-next-terminator; | Thomas Kleymann |
| 1998-09-16 | Improved doc. Removed proof-mode-version-string.\nMade proof-prog-name-ask-p... | David Aspinall |
| 1998-09-15 | Reimplemented proof-shell-popup-eager-annotation | Thomas Kleymann |
| 1998-09-14 | Added docs and proof-restart-script-same-process (may need work) | David Aspinall |
| 1998-09-10 | -Added documentation | Thomas Kleymann |
| 1998-09-09 | Made proof-assert-next-command move forward by default. | David Aspinall |
| 1998-09-09 | Added Id to headers. | David Aspinall |
| 1998-09-08 | Added FIXMEs. | David Aspinall |
| 1998-09-08 | removed dependency on tl-list | Thomas Kleymann |
| 1998-09-03 | Requires proof-site. | David Aspinall |
| 1998-09-03 | Renamed for new subdirectory structure | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |