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