| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| to tms but he said he wouldn't get around to it) | |||
| 1998-11-09 | Added proof-script-indent user option, to enable indentation code. | David Aspinall | |
| Disabled by default. May be activated by particular proof assistants if they feel confident about it. I don't. Made proof-indent be autoloaded as needed. Lets pray it won't be. | |||
| 1998-11-09 | Added proof-strict-read-only, probably a handy new user-option. | David Aspinall | |
| Side effect is that it's default value of nil for FSF Emacs avoids the font lock problem with span-read-only for FSF Emacs. XEmacs does not have the warning message implemented yet. | |||
| 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 | |
| renamed it [to reserve -p only for functions (predicates)]. | |||
| 1998-11-03 | fixed bug with font-lock face names | Thomas Kleymann | |
| 1998-11-01 | o added support for byte-compilation | Thomas Kleymann | |
| o removed hhg tags in todo o fixed font-lock for FSF Emacs 20.2 o ensured that goals buffer is updated for longer queues o fixed a bug in proof-universal-keys-only-mode | |||
| 1998-10-30 | implemented new buffer model. The goals buffer is now exclusively | Thomas Kleymann | |
| reserved for goals. | |||
| 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 | |
| groups in proof-config. | |||
| 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 | |
| buffers, we invoke (save-some-buffers). Furthermore, we warn the user if modified buffers have been read in by the proof assistant. | |||
| 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 | |
| now seems to correctly observe all messages which pass through. | |||
| 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 | |
| Removed font-lock-<newface> with proof-<newface> so we know where things come from and won't break future font locks. | |||
| 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 | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |