| Commit message (Expand) | Author | Age |
* | improved proof-segment-up-to to support proof-string-start-regexp, | Makarius Wenzel | 1999-05-27 |
* | proof-done-advancing: added proof-really-save-command-p to support | Makarius Wenzel | 1999-05-25 |
* | Add toggle for proof toolbar to menu | David Aspinall | 1999-05-11 |
* | Fixed bug by shifting configuration of minor mode for active terminator. | David Aspinall | 1999-02-22 |
* | Used proof-string-match for matching against proof script. | David Aspinall | 1999-02-01 |
* | 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-16 |
* | 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-15 |
* | 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-11 |
* | 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-12-10 |
* | 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-25 |
* | 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-20 |
* | 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-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 |
* | 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 |
* | Added buffers menu, and added shared menu to shell and response buffers. | David Aspinall | 1998-11-10 |
* | Added docstring | David Aspinall | 1998-11-09 |
* | Added proof-script-indent user option, to enable indentation code. | David Aspinall | 1998-11-09 |