| Age | Commit message (Expand) | Author |
|---|
| 1998-12-07 | Added proof-shell-preprocess-command for Paul Callaghan. | David Aspinall |
| 1998-11-26 | 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-25 | 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-20 | Reimplemented functions to shut down and restart proof process. | David Aspinall |
| 1998-11-20 | BIG CHANGES -- SORRY! | David Aspinall |
| 1998-11-18 | 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-12 | 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-10 | Removed references of proof-shell-noise-regexp | Thomas Kleymann |
| 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-03 | 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-01 | o added support for byte-compilation | Thomas Kleymann |
| 1998-10-30 | implemented new buffer model. The goals buffer is now exclusively | Thomas Kleymann |
| 1998-10-29 | 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-28 | Added customize group for Proof General faces and fixed other | David Aspinall |
| 1998-10-27 | Continuing mods for cleaner byte compile | David Aspinall |
| 1998-10-27 | Made handling of multiple files more robust. On changing script | Thomas Kleymann |
| 1998-10-27 | Fixed up proof-script.el for clean byte compile | David Aspinall |
| 1998-10-27 | typo | David Aspinall |
| 1998-10-27 | Moved pbp-goal-command and pbp-hyp-command to proof-config.Moved LEGO specifix. | David Aspinall |
| 1998-10-27 | Begun work on clean byte compilation / clarifying interfaces. | David Aspinall |
| 1998-10-27 | Fixed urgent message stuff. proof-shell-process-urgent-messages | David Aspinall |
| 1998-10-23 | Added note about mode symbols | David Aspinall |
| 1998-10-23 | Added proof-mode-for-script setting. | David Aspinall |
| 1998-10-23 | Replaced remaining face defs with defface calls. | David Aspinall |
| 1998-10-22 | Added deffaces to proof-config | David Aspinall |
| 1998-10-22 | Added todo for clean byte compile | David Aspinall |
| 1998-10-22 | Split proof.el into proof-config.el, proof-script.el, proof-shell.el | David Aspinall |
