aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-config.el
Commit message (Expand)AuthorAge
* Added proof-shell-spill-output-regexpGravatar David Aspinall2001-09-03
* Add new proof-mouse-highlight-face to use instead of default. Fix dependency...Gravatar David Aspinall2001-08-31
* Add faces for theorem dependencies.Gravatar David Aspinall2001-08-31
* added proof-script-integral-proofs ("Whether the complete text after aGravatar Makarius Wenzel2001-08-30
* Add hide/show commands instead of make proofs visibleGravatar David Aspinall2001-08-16
* Moved splash settings and basic custom groups elsewhereGravatar David Aspinall2001-05-16
* Copyright date updatedGravatar David Aspinall2001-05-08
* Fix docstringGravatar David Aspinall2001-03-20
* Add proof-disappearing-proofsGravatar David Aspinall2000-12-14
* Added proof-shell-match-pgip-cmdGravatar David Aspinall2000-11-24
* *** empty log message ***Gravatar Christophe Raffalli2000-10-30
* Default for proof-comment-end that doesn't cause looping in searching for com...Gravatar David Aspinall2000-09-29
* Added proof-shell-strip-crs-from-input, and unadvertised proof-script-fly-pas...Gravatar David Aspinall2000-09-28
* Added yet another new parsing mechanism, bit more rational this time.Gravatar David Aspinall2000-09-27
* Fix Proof General web page to www.proofgeneral.org.Gravatar David Aspinall2000-09-26
* Newlines.Gravatar David Aspinall2000-09-21
* Disable toolbar enablers on win32.Gravatar David Aspinall2000-09-20
* Improved docstrings, comments.Gravatar David Aspinall2000-09-14
* Docstring changes for printed docs.Gravatar David Aspinall2000-09-13
* Order changeGravatar David Aspinall2000-09-13
* Make <PA>-toolbar-entries, and move it and proof-toolbar-entries-default to p...Gravatar David Aspinall2000-09-13
* Docs for proof-shell-eager-annotation-start stuffGravatar David Aspinall2000-09-12
* Added proof-shell-annotated-prompt-regexp to important settings, removed safe...Gravatar David Aspinall2000-09-11
* RearrangementGravatar David Aspinall2000-09-08
* Added proof-shell-auto-terminate-commandsGravatar David Aspinall2000-08-29
* Added proof-shell-set-elisp-variable-regexpGravatar David Aspinall2000-08-28
* changes to add theorem dependencies recording in spansGravatar David Aspinall2000-07-19
* Added back defconsts for face names needed for FSF Emacs.Gravatar David Aspinall2000-06-22
* proof-script-next-entity-regexps: admit list of MATCHNOS;Gravatar Makarius Wenzel2000-06-16
* Added pgcustom x-symbol-language to allow different language name than proof ...Gravatar David Aspinall2000-06-16
* Improved some docstrings.Gravatar David Aspinall2000-06-15
* settings for new indentation setup;Gravatar Makarius Wenzel2000-06-08
* Tweaked some docstrings.Gravatar David Aspinall2000-06-05
* Use proof-running-on-XEmacs variable.Gravatar David Aspinall2000-06-01
* Added proof-comment-start-regexp, proof-commend-end-regexp.Gravatar David Aspinall2000-06-01
* Added proof-script-command-start-regexp. Updated docstrings to reflect that ...Gravatar David Aspinall2000-05-30
* Added configuration variables for proof assistant settings. Docstring for fa...Gravatar David Aspinall2000-05-29
* Rename proof-defass-custom -> defpgcustom.Gravatar David Aspinall2000-05-26
* Temp hacks to get doc to build before proper commits.Gravatar David Aspinall2000-05-25
* Made x-symbol-enable be individual option.Gravatar David Aspinall2000-05-25
* Patch for synchronization problem in Coq, perhaps others.Gravatar David Aspinall2000-05-25
* Turn off button enablers when running on SolarisGravatar David Aspinall2000-05-25
* Added version string to splash. Added proof-strict-state-preservingGravatar David Aspinall2000-05-16
* Added proof-defassfun. CommentsGravatar David Aspinall2000-05-12
* Fix to function nameGravatar David Aspinall2000-05-12
* Removed duplicate declarationGravatar David Aspinall2000-05-11
* New mechanism for defining customization variables per-prover.Gravatar David Aspinall2000-05-11
* New setting on the way...Gravatar David Aspinall2000-05-09
* Fixup menus.Gravatar David Aspinall2000-05-09
* Prevent proof-set-value until proof-config-loaded. (C) on splash screen.Gravatar David Aspinall2000-05-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 15:28:29 +0000