aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-config.el
Commit message (Expand)AuthorAge
* Added proof-rsh-command to help complete documentation (was allocatedGravatar David Aspinall1998-11-09
* Added proof-script-indent user option, to enable indentation code.Gravatar David Aspinall1998-11-09
* Added proof-strict-read-only, probably a handy new user-option.Gravatar David Aspinall1998-11-09
* Being pedantic about variables versus predicates, renamed prog-name-ask-p.Gravatar David Aspinall1998-11-03
* Customization group and type fixesGravatar David Aspinall1998-11-03
* Improved docstringsGravatar David Aspinall1998-11-03
* Promoted proof-window-dedicated to be a user option, andGravatar David Aspinall1998-11-03
* fixed bug with font-lock face namesGravatar Thomas Kleymann1998-11-03
* o added support for byte-compilationGravatar Thomas Kleymann1998-11-01
* implemented new buffer model. The goals buffer is now exclusivelyGravatar Thomas Kleymann1998-10-30
* Clarifying comment about obscure variable addedGravatar David Aspinall1998-10-29
* More hacks to variable names for customize (sorry)Gravatar David Aspinall1998-10-29
* Added prefixes in custom defgroups.Gravatar David Aspinall1998-10-29
* Added customize group for Proof General faces and fixed otherGravatar David Aspinall1998-10-28
* Continuing mods for cleaner byte compileGravatar David Aspinall1998-10-27
* Made handling of multiple files more robust. On changing scriptGravatar Thomas Kleymann1998-10-27
* Fixed up proof-script.el for clean byte compileGravatar David Aspinall1998-10-27
* typoGravatar David Aspinall1998-10-27
* Moved pbp-goal-command and pbp-hyp-command to proof-config.Moved LEGO specifix.Gravatar David Aspinall1998-10-27
* Begun work on clean byte compilation / clarifying interfaces.Gravatar David Aspinall1998-10-27
* Fixed urgent message stuff. proof-shell-process-urgent-messagesGravatar David Aspinall1998-10-27
* Added note about mode symbolsGravatar David Aspinall1998-10-23
* Added proof-mode-for-script setting.Gravatar David Aspinall1998-10-23
* Replaced remaining face defs with defface calls.Gravatar David Aspinall1998-10-23
* Added deffaces to proof-configGravatar David Aspinall1998-10-22
* Added todo for clean byte compileGravatar David Aspinall1998-10-22
* Split proof.el into proof-config.el, proof-script.el, proof-shell.elGravatar David Aspinall1998-10-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-16 05:08:28 +0000