| Commit message (Expand) | Author | Age |
* | 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 |
* | Removed references of proof-shell-noise-regexp | Thomas Kleymann | 1998-11-10 |
* | 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 |
* | Being pedantic about variables versus predicates, renamed prog-name-ask-p. | David Aspinall | 1998-11-03 |
* | Customization group and type fixes | David Aspinall | 1998-11-03 |
* | Improved docstrings | David Aspinall | 1998-11-03 |
* | Promoted proof-window-dedicated to be a user option, and | David Aspinall | 1998-11-03 |
* | fixed bug with font-lock face names | Thomas Kleymann | 1998-11-03 |
* | o added support for byte-compilation | Thomas Kleymann | 1998-11-01 |
* | implemented new buffer model. The goals buffer is now exclusively | Thomas Kleymann | 1998-10-30 |
* | Clarifying comment about obscure variable added | David Aspinall | 1998-10-29 |
* | More hacks to variable names for customize (sorry) | David Aspinall | 1998-10-29 |
* | Added prefixes in custom defgroups. | David Aspinall | 1998-10-29 |
* | Added customize group for Proof General faces and fixed other | David Aspinall | 1998-10-28 |
* | Continuing mods for cleaner byte compile | David Aspinall | 1998-10-27 |