| Age | Commit message (Expand) | Author |
|---|
| 1999-09-03 | da: improved comment; | Makarius Wenzel |
| 1999-08-24 | Attempted fix of FSFmacs problem, left as comment | David Aspinall |
| 1999-08-20 | proof-goto-end-of-locked-if-pos-not-visible-in-window: | David Aspinall |
| 1999-05-27 | improved proof-segment-up-to to support proof-string-start-regexp, | Makarius Wenzel |
| 1999-05-25 | proof-done-advancing: added proof-really-save-command-p to support | Makarius Wenzel |
| 1999-05-11 | Add toggle for proof toolbar to menu | David Aspinall |
| 1999-02-22 | Fixed bug by shifting configuration of minor mode for active terminator. | David Aspinall |
| 1999-02-01 | Used proof-string-match for matching against proof script. | David Aspinall |
| 1998-12-16 | Removed info file name space, again, arrgggh. | David Aspinall |
| 1998-12-16 | Added back space in info file name | David Aspinall |
| 1998-12-16 | Reverted to previous semantics | David Aspinall |
| 1998-12-16 | Made delete-region arg optional for proof-retract-until-point-interactive. | David Aspinall |
| 1998-12-16 | Removed space from ProofGeneral name. | David Aspinall |
| 1998-12-16 | Tweaked docstring for C-c C-u. | David Aspinall |
| 1998-12-16 | rationalised keybinding (again) | Thomas Kleymann |
| 1998-12-16 | improved default keybindings | Thomas Kleymann |
| 1998-12-15 | Docstring fix | David Aspinall |
| 1998-12-15 | Removed bogus duplicate call of proof-mode-hook at end of proof-config-done. | David Aspinall |
| 1998-12-15 | Fixes for FSF Emacs handling of processes, kill buffer hooks, | David Aspinall |
| 1998-12-15 | made many minor changes to the documentation | Thomas Kleymann |
| 1998-12-11 | Comments | David Aspinall |
| 1998-12-11 | Allow even the current scripting buffer to be marked atomically | David Aspinall |
| 1998-12-11 | Several changes: | David Aspinall |
| 1998-12-11 | Added submit bug report to proof-shared-menu | David Aspinall |
| 1998-12-11 | Fixed typo. | David Aspinall |
| 1998-12-11 | Fixed bug where proof-activate-scripting nuked locked regions. | David Aspinall |
| 1998-12-10 | Offer to save script mode buffers which have no files, | David Aspinall |
| 1998-12-10 | Patch for case that new script buffer has no filename. | David Aspinall |
| 1998-11-25 | Docstring improvements. | David Aspinall |
| 1998-11-25 | FSF Emacs fix for buffer-file-truename, which is the | David Aspinall |
| 1998-11-25 | Compile clean-ups. | David Aspinall |
| 1998-11-25 | Replaced proof-pbp-buffer with proof-goals-buffer. | David Aspinall |
| 1998-11-25 | Added "start proof assistant" menu option | David Aspinall |
| 1998-11-25 | Use make-local-hook instead of make-local-variable | David Aspinall |
| 1998-11-25 | Improved error handling in proof-deactivate-scripting since | David Aspinall |
| 1998-11-25 | Wrote proof-deactiveate-scripting command for turning off scripting | David Aspinall |
| 1998-11-25 | Improved docstrings | David Aspinall |
| 1998-11-25 | Docstring fixes | 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 | 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 | . Bug fix: moved proof-mark-buffer-atomic from proof-mode body to | David Aspinall |
| 1998-11-18 | Removed proof-response-buffer-display from byte compile autoloads | 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 | 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 |
