aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-config.el
Commit message (Expand)AuthorAge
* Changed colour of proof-locked-faceGravatar David Aspinall1999-11-12
* Added option for sending qed output to goals buffer for IsabelleGravatar David Aspinall1999-11-11
* Next round of fixups for font-lock and x-symbol.Gravatar David Aspinall1999-11-11
* Extensive fixes for x-symbol and font-lock.Gravatar David Aspinall1999-11-11
* Reorganized user options. Special new code for boolean settings.Gravatar David Aspinall1999-11-10
* Arrange for activate-scripting to not block for interactive calls.Gravatar David Aspinall1999-11-09
* docstringGravatar David Aspinall1999-11-08
* proof-prf-string -> proof-showproof-commandGravatar David Aspinall1999-11-08
* New section for x-symbol. New custom group for user options.Gravatar David Aspinall1999-11-08
* Added proof-auto-multiple-files. Docstring addition.Gravatar David Aspinall1999-10-25
* Added symmetric proof-shell-inform-file-retracted-cmd setting to correspondGravatar David Aspinall1999-10-21
* Changed name of proof-shell-cd-cmd for uniformity.Gravatar David Aspinall1999-10-21
* Changed name to proof-shell-inform-file-processed-cmdGravatar David Aspinall1999-10-21
* Added proof-shell-inform-file-processed-command setting.Gravatar David Aspinall1999-10-21
* Docstring improvementsGravatar David Aspinall1999-10-15
* Added message for reporting problems to splash screen.Gravatar David Aspinall1999-10-12
* docstring magicGravatar David Aspinall1999-10-12
* docstring improvedGravatar David Aspinall1999-10-12
* Added proof-toolbar-use-enablers.Gravatar David Aspinall1999-10-12
* Speed optimizations, part I.Gravatar David Aspinall1999-10-06
* More improvements/fixes for closing unfinished proofs.Gravatar David Aspinall1999-10-06
* docstring improvementsGravatar David Aspinall1999-10-06
* Fixed coalescing of error messages: all error messages fromGravatar David Aspinall1999-10-06
* Docstrings. Added proof-nested-goals-allowed.Gravatar David Aspinall1999-10-06
* TypoGravatar David Aspinall1999-10-06
* settings for (de)activating scripting, and proof-tidy-response.Gravatar David Aspinall1999-10-06
* proof-try-command is deprecatedGravatar David Aspinall1999-10-06
* Added proof-retract-buffer symmetric to proof-process-buffer.Gravatar David Aspinall1999-10-06
* Fixup name changesGravatar David Aspinall1999-10-01
* Renamed some configuration variables for uniformity, see CHANGES.Gravatar David Aspinall1999-10-01
* Unhappily added proof-shell-leave-annotations-in-output hack.Gravatar David Aspinall1999-09-29
* Added proof-script-command-separator. Needs work.Gravatar David Aspinall1999-09-29
* DocstringsGravatar David Aspinall1999-09-23
* Added proof-find-theorems-command setting.Gravatar David Aspinall1999-09-23
* DocstringsGravatar David Aspinall1999-09-22
* proof-completed-regexp: match number 1 is response text;Gravatar Makarius Wenzel1999-09-22
* Improved docstrings for regexp vars.Gravatar David Aspinall1999-09-21
* Added proof-state-change-hook for toolbar enabler refreshing.Gravatar David Aspinall1999-09-21
* Removed transparent gif from splash screen because XEmacs can'tGravatar David Aspinall1999-09-13
* docstring improvements for proof-guess-command-nameGravatar David Aspinall1999-09-13
* Fix for toolbar disable for FSF Emacs.Gravatar David Aspinall1999-08-23
* Change of imageGravatar David Aspinall1999-06-24
* DocstringGravatar David Aspinall1999-06-18
* tactics-name-faceGravatar Patrick Loiseleur1999-06-18
* Docstring fixes.Gravatar David Aspinall1999-06-15
* Added proof-tactics-name-faceGravatar Patrick Loiseleur1999-06-14
* Cleaned up docstringsGravatar David Aspinall1999-06-07
* added proof-string-start-regexp, proof-string-end-regexp;Gravatar Makarius Wenzel1999-05-27
* added proof-really-save-command-p to supportGravatar Makarius Wenzel1999-05-25
* I've added the custom option 'prog-name-guess' in the generic part andGravatar Patrick Loiseleur1999-05-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 08:26:15 +0000