| Age | Commit message (Collapse) | 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 | Bug in regexp for isa auto-mode-alist. | David Aspinall | |
| 1998-09-16 | Moved proof-info-dir into proof-site and defcustom'd it. | David Aspinall | |
| Set the Info directory list there rather than after proof.el has loaded. Add the proof-info-dir onto the end of Info-default-directory-list, not the start. | |||
| 1998-09-16 | fixed implementation fo proof-find-next-terminator; | Thomas Kleymann | |
| it can now be used even when there is no corresponding proof process | |||
| 1998-09-16 | Isabelle Proof General loads for .thy as well as .ML files. | David Aspinall | |
| 1998-09-16 | Improved doc. Removed proof-mode-version-string.\nMade ↵ | David Aspinall | |
| proof-prog-name-ask-p defcustom | |||
| 1998-09-15 | Reimplemented proof-shell-popup-eager-annotation | Thomas Kleymann | |
| These are no longer displayed in the *GOALS* buffer. | |||
| 1998-09-14 | Added docs and proof-restart-script-same-process (may need work) | David Aspinall | |
| 1998-09-14 | Changed proof-assistant into proof-assistants to support autoloads for more ↵ | David Aspinall | |
| than one prover | |||
| 1998-09-10 | Set version tag for release. | David Aspinall | |
| 1998-09-10 | Set version tag for release. | David Aspinall | |
| 1998-09-10 | Added proof-general-version | David Aspinall | |
| 1998-09-10 | -Added documentation | Thomas Kleymann | |
| -Simplified code for setting faces -Reimplimented `proof-shell-handle-error' -Improved `proof-shell-filter'; it no longer removes the prompt annotation -The Shell no longer automatically scrolls to the end (or so I hope) | |||
| 1998-09-10 | fixed implementation of `proof-have-color' | Thomas Kleymann | |
| 1998-09-09 | Renamed recycle icon to restart | David Aspinall | |
| 1998-09-09 | Added query to restart script button in case of accidents. | David Aspinall | |
| 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-09 | Fixup branch number | David Aspinall | |
| 1998-09-08 | Added todos for toolbar. | David Aspinall | |
| 1998-09-08 | Added FIXMEs. | David Aspinall | |
| Added documentation. proof-segment-up-to: Removed explicit ML-style comment syntax, added END-OF-COMMAND argument. proof-undo-last-successful-command: Added optional argument to not delete. (The difference between this and proof-retract-until-point is that it infers the last command). proof-assert-next-command: Experimental alternative to proof-assert-until-point to match undo-last-successful-command. | |||
| 1998-09-08 | Added Id and comments | David Aspinall | |
| 1998-09-08 | Added Id | David Aspinall | |
| 1998-09-08 | First version of generic proof toolbar. | David Aspinall | |
| 1998-09-08 | Made customize variables user-visible | David Aspinall | |
| 1998-09-08 | Added image directory for toolbar icons | David Aspinall | |
| 1998-09-08 | Layout. | David Aspinall | |
| 1998-09-08 | removed dependency on tl-list | Thomas Kleymann | |
| 1998-09-03 | Requires proof-site. | David Aspinall | |
| 1998-09-03 | Site-wide configuration for proof mode. | David Aspinall | |
| 1998-09-03 | Renamed for new subdirectory structure | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |