| Commit message (Expand) | Author | Age |
|---|
| * | settings for (de)activating scripting, and proof-tidy-response. |  David Aspinall | 1999-10-06 |
| * | proof-try-command is deprecated | David Aspinall | 1999-10-06 |
| * | Added proof-retract-buffer symmetric to proof-process-buffer. | David Aspinall | 1999-10-06 |
| * | Fixup name changes | David Aspinall | 1999-10-01 |
| * | Renamed some configuration variables for uniformity, see CHANGES. | David Aspinall | 1999-10-01 |
| * | Unhappily added proof-shell-leave-annotations-in-output hack. | David Aspinall | 1999-09-29 |
| * | Added proof-script-command-separator. Needs work. | David Aspinall | 1999-09-29 |
| * | Docstrings | David Aspinall | 1999-09-23 |
| * | Added proof-find-theorems-command setting. | David Aspinall | 1999-09-23 |
| * | Docstrings | David Aspinall | 1999-09-22 |
| * | proof-completed-regexp: match number 1 is response text; |  Makarius Wenzel | 1999-09-22 |
| * | Improved docstrings for regexp vars. | David Aspinall | 1999-09-21 |
| * | Added proof-state-change-hook for toolbar enabler refreshing. | David Aspinall | 1999-09-21 |
| * | Removed transparent gif from splash screen because XEmacs can't | David Aspinall | 1999-09-13 |
| * | docstring improvements for proof-guess-command-name | David Aspinall | 1999-09-13 |
| * | Fix for toolbar disable for FSF Emacs. | David Aspinall | 1999-08-23 |
| * | Change of image | David Aspinall | 1999-06-24 |
| * | Docstring | David Aspinall | 1999-06-18 |
| * | tactics-name-face |  Patrick Loiseleur | 1999-06-18 |
| * | Docstring fixes. | David Aspinall | 1999-06-15 |
| * | Added proof-tactics-name-face | Patrick Loiseleur | 1999-06-14 |
| * | Cleaned up docstrings | David Aspinall | 1999-06-07 |
| * | added proof-string-start-regexp, proof-string-end-regexp; | Makarius Wenzel | 1999-05-27 |
| * | added proof-really-save-command-p to support | Makarius Wenzel | 1999-05-25 |
| * | I've added the custom option 'prog-name-guess' in the generic part and | Patrick Loiseleur | 1999-05-17 |
| * | Idea for proof-auto-retract, notes about proof-strict-read-only | David Aspinall | 1999-03-08 |
| * | Improved docstring | David Aspinall | 1999-02-01 |
| * | Added proof-case-fold-search | David Aspinall | 1999-02-01 |
| * | Added proof-assistant-symbol | David Aspinall | 1998-12-18 |
| * | Fixed default for proof-shell-quit-cmd. | David Aspinall | 1998-12-16 |
| * | Docstring fixes | David Aspinall | 1998-12-15 |
| * | made many minor changes to the documentation |  Thomas Kleymann | 1998-12-15 |
| * | Removed proof-shell-preprocess-command. Improved docstring for proof-shell-i... | David Aspinall | 1998-12-11 |
| * | Changed name of proof-toolbar-inhibit variable for uniformity. | David Aspinall | 1998-12-10 |
| * | Added proof-shell-preprocess-command for Paul Callaghan. | David Aspinall | 1998-12-07 |
| * | Added proof-shell-clear-goals-regexp. | David Aspinall | 1998-11-26 |
| * | Warning in proof-shell-insert-hook docstrings. | David Aspinall | 1998-11-26 |
| * | Suggestions for using proof-pre-shell-start-hook removed. Minor typos/fixes. | David Aspinall | 1998-11-26 |
| * | Docstring improvements. | David Aspinall | 1998-11-25 |
| * | Made default proof-auto-delete-windows=nil again, it's too unpredictable. | David Aspinall | 1998-11-25 |
| * | more improvements, docstring fixes. | David Aspinall | 1998-11-25 |
| * | Added some more settings, moved some around, improved docstrings. | David Aspinall | 1998-11-25 |
| * | Reimplemented functions to shut down and restart proof process. | David Aspinall | 1998-11-20 |
| * | BIG CHANGES -- SORRY! | David Aspinall | 1998-11-20 |
| * | Buggy default for proof-mode-for-script | 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 |
| * | In a fit of autocracy, removed proof-tags-support, binding for | David Aspinall | 1998-11-12 |
| * | Added proof-auto-delete-windows user option. | David Aspinall | 1998-11-12 |
| * | Renamed proof-mode-name -> proof-general-name. | David Aspinall | 1998-11-12 |
David Aspinall
Makarius Wenzel
Patrick Loiseleur
Thomas Kleymann