| Commit message (Expand) | Author | Age |
|---|
| * | 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-18 |
| * | 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-12 |
| * | 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-10 |
| * | 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-09 |
| * | (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-06 |
| * | Set version tag for new release. | David Aspinall | 1998-11-04 |
| * | Being pedantic about variables versus predicates, renamed prog-name-ask-p. | David Aspinall | 1998-11-03 |
| * | Added docstring | David Aspinall | 1998-11-03 |
| * | Removed FIXME | David Aspinall | 1998-11-03 |
| * | Customization group and type fixes | David Aspinall | 1998-11-03 |
| * | Func menu problems, note added | David Aspinall | 1998-11-03 |
| * | Note added. | David Aspinall | 1998-11-03 |
| * | Improved docstrings | David Aspinall | 1998-11-03 |
| * | added FIXME note on maybe using regexp-opt | David Aspinall | 1998-11-03 |
| * | Added menu made from toolbar commands, called "Scripting". | David Aspinall | 1998-11-03 |
| * | Renamed a couple of menu functions in case of later making | David Aspinall | 1998-11-03 |
| * | Promoted proof-window-dedicated to be a user option, and | David Aspinall | 1998-11-03 |
| * | Set version tag for new release. | Thomas Kleymann | 1998-11-03 |
| * | fixed bug with font-lock face names | Thomas Kleymann | 1998-11-03 |
| * | A* Fix display handling problems (tms, all week) | Thomas Kleymann | 1998-11-03 |
| * | Proof General no longer moves point in the current-buffer | Thomas Kleymann | 1998-11-02 |
| * | Quick fix for multiple file problem when current scripting buffer is retracte... | David Aspinall | 1998-11-02 |
| * | Proof General no longer changes selected window/buffer under your feet. | Thomas Kleymann | 1998-11-02 |
| * | Set version tag for new release. | Thomas Kleymann | 1998-11-02 |
| * | fixed minor bugs | Thomas Kleymann | 1998-11-02 |
David Aspinall
Thomas Kleymann