| Age | Commit message (Expand) | Author |
|---|
| 1998-11-25 | Improved error handling in proof-deactivate-scripting since | David Aspinall |
| 1998-11-25 | Docstring fixes, minor improvements. | David Aspinall |
| 1998-11-25 | more improvements, docstring fixes. | David Aspinall |
| 1998-11-25 | Wrote proof-deactiveate-scripting command for turning off scripting | David Aspinall |
| 1998-11-25 | docstring fixes and alterations. | David Aspinall |
| 1998-11-25 | tweaks to regexps; added automatic mention of default values for user | David Aspinall |
| 1998-11-25 | changed keybinding suggested at start to work for AUC TeX's texinfo mode. | David Aspinall |
| 1998-11-25 | Moved some settings to proof-config. | David Aspinall |
| 1998-11-25 | Added some more settings, moved some around, improved docstrings. | David Aspinall |
| 1998-11-25 | Improved docstrings | David Aspinall |
| 1998-11-25 | Added syntax table stuff | David Aspinall |
| 1998-11-25 | Docstring fixes | David Aspinall |
| 1998-11-25 | Magic docstring -> texi conversion. | David Aspinall |
| 1998-11-20 | Set version tag for new release. | David Aspinall |
| 1998-11-20 | Minor cleanups | David Aspinall |
| 1998-11-20 | Reimplemented functions to shut down and restart proof process. | David Aspinall |
| 1998-11-20 | BIG CHANGES -- SORRY! | David Aspinall |
| 1998-11-18 | Buggy default for proof-mode-for-script | David Aspinall |
| 1998-11-18 | proof-done-retracting: changed delete-region to kill-region after | David Aspinall |
| 1998-11-18 | Bug fix: proof-undo-last-successful-command has silent failure for | David Aspinall |
| 1998-11-18 | proof-response-buffer-display: Move point to the end of the buffer | David Aspinall |
| 1998-11-18 | . Changed behaviour of retracting current scripting buffer: | David Aspinall |
| 1998-11-18 | . Bug fix: moved proof-mark-buffer-atomic from proof-mode body to | David Aspinall |
| 1998-11-18 | Improved proof-clean-buffer. Now only deletes windows in currently | David Aspinall |
| 1998-11-18 | improvements to docstrings and defcustoms. | David Aspinall |
| 1998-11-18 | Bug fix and adjustments in proof-response-buffer-display | David Aspinall |
| 1998-11-18 | Removed proof-response-buffer-display from byte compile autoloads | David Aspinall |
| 1998-11-18 | . bug fix for proof-shell-live-buffer. | David Aspinall |
| 1998-11-18 | Added optional argument to proof-ids for non-comma separators. | David Aspinall |
| 1998-11-12 | In a fit of autocracy, removed proof-tags-support, binding for | David Aspinall |
| 1998-11-12 | Added Goals buffer to buffers menu -- I forgot it\! | David Aspinall |
| 1998-11-12 | Rashly fixed a suspicious looking nested use of set-buffer. Docstrings. | David Aspinall |
| 1998-11-12 | Added proof-auto-delete-windows user option. | David Aspinall |
| 1998-11-12 | Minor improvement to atrocious performance of proof-sement-up-to. | David Aspinall |
| 1998-11-12 | Fixed bug with find-next-terminator. | David Aspinall |
| 1998-11-12 | Renamed proof-mode-name -> proof-general-name. | David Aspinall |
| 1998-11-10 | Set version tag for new release. | David Aspinall |
| 1998-11-10 | Added buffers menu, and added shared menu to shell and response buffers. | David Aspinall |
| 1998-11-10 | Removed references of proof-shell-noise-regexp | Thomas Kleymann |
| 1998-11-10 | Fixed bug for when proof-rsh-command is empty | David Aspinall |
| 1998-11-10 | Refresh response buffer when goals buffer is refreshed. | Thomas Kleymann |
| 1998-11-09 | Added docstring | David Aspinall |
| 1998-11-09 | Added proof-rsh-command to help complete documentation (was allocated | David Aspinall |
| 1998-11-09 | Added proof-script-indent user option, to enable indentation code. | David Aspinall |
| 1998-11-09 | Added proof-strict-read-only, probably a handy new user-option. | David Aspinall |
| 1998-11-09 | Added acknowledgements to doc. Removed from code. | David Aspinall |
| 1998-11-06 | (Failed) Attempt to recognize XEmacs with broken jpeg support | David Aspinall |
| 1998-11-06 | Give error message when attempting to load a second instance of Proof | David Aspinall |
| 1998-11-04 | Set version tag for new release. | David Aspinall |
| 1998-11-03 | Being pedantic about variables versus predicates, renamed prog-name-ask-p. | David Aspinall |
