| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 1998-09-17 | Changed name of info file. | David Aspinall | |
| 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 | Added test schedule item | David Aspinall | |
| 1998-09-16 | Makefile for building every kind of target from texi. | David Aspinall | |
| 1998-09-16 | Info directory entries for FSF and XEmacs. | David Aspinall | |
| Tested with both. Incredibly difficult to get right. localdir is better with XEmacs, but it will use dir in preference, 8-(. | |||
| 1998-09-16 | Renamed texinfo file. | David Aspinall | |
| 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 | Documentation acknowleges use of three type of buffers: | Thomas Kleymann | |
| script buffers, goal buffer and process buffer | |||
| 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-16 | Removed item about toolbar error message to do with process handling. | David Aspinall | |
| 1998-09-16 | Added low-priority item about improving process handling. | David Aspinall | |
| 1998-09-15 | Reimplemented proof-shell-popup-eager-annotation | Thomas Kleymann | |
| These are no longer displayed in the *GOALS* buffer. | |||
| 1998-09-14 | DONE: Reduced number of colours used in icons | David Aspinall | |
| 1998-09-14 | Reduced number of colours used for impoverished displays. | David Aspinall | |
| 1998-09-14 | Realised clash with proof-assistant variable was causing "odd customize ↵ | David Aspinall | |
| behaviour" | |||
| 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-14 | Added toolbar todos discussed at business lunch with tms | David Aspinall | |
| 1998-09-14 | added todo for fixing buggy web pages | David Aspinall | |
| 1998-09-11 | Added some more things | David Aspinall | |
| 1998-09-11 | Fixes to syntax and startup function. | David Aspinall | |
| 1998-09-10 | Done .xbm's and Makefile targets. Added TODO for locked region per file. | David Aspinall | |
| 1998-09-10 | Added final message to make release. | David Aspinall | |
| 1998-09-10 | Bug in make release. | David Aspinall | |
| 1998-09-10 | Added back check for clean source. | David Aspinall | |
| 1998-09-10 | Added tag, dist, release targets. | David Aspinall | |
| 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 | We seduce our audience by fancy pictures and words | David Aspinall | |
| 1998-09-10 | We seduce our audience by fancy pictures and words | 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-10 | Reengineering efforts to exploit 3 buffer model now top priority | Thomas Kleymann | |
| 1998-09-09 | Added X bitmaps of icons for mono displays | David Aspinall | |
| 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-09 | Updated | David Aspinall | |
| 1998-09-09 | Message for images directory | David Aspinall | |
| 1998-09-09 | *** empty log message *** | Thomas Kleymann | |
| 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 | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |