aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-config.el
AgeCommit message (Collapse)Author
2000-09-13Make <PA>-toolbar-entries, and move it and proof-toolbar-entries-default to ↵David Aspinall
proof-config to allow easier configuration.
2000-09-12Docs for proof-shell-eager-annotation-start stuffDavid Aspinall
2000-09-11Added proof-shell-annotated-prompt-regexp to important settings, removed ↵David Aspinall
safe default of empty string (now will have error msgs from filter)
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
Yet another annoyance with FSF.
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
assistant
2000-06-15Improved some docstrings.David Aspinall
Simplified face configuration by using auxiliary macro. Now also works for gtk-xemacs. Experimented with removing spurious face alias constants.
2000-06-08settings for new indentation setup;Makarius Wenzel
2000-06-05Tweaked some docstrings.David Aspinall
Added proof-shell-next-error-regexp and friends. Bind proof-shell-next-error in proof-universal-keys.
2000-06-01Use proof-running-on-XEmacs variable.David Aspinall
2000-06-01Added proof-comment-start-regexp, proof-commend-end-regexp.David Aspinall
Mention proof-script-complete in docstring for proof-case-fold-search.
2000-05-30Added proof-script-command-start-regexp. Updated docstrings to reflect that ↵David Aspinall
proof-terminal-char no longer appended to commands.
2000-05-29Added configuration variables for proof assistant settings. Docstring for ↵David Aspinall
favourites.
2000-05-26Rename proof-defass-custom -> defpgcustom.David Aspinall
Moved macros for generic custom settings to proof-utils. Made proof-x-symbol-enable be generic (isa-x-symbol-enable, etc). Ditto proof-script-indent. Added proof-shell-pre-sync-init-cmd Added PA-completion-table, PA-tags-program.
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
2000-05-07CommentsDavid Aspinall
2000-05-05Improved docs, declaration of variables set in proof-site, settings ↵David Aspinall
mechanism begun.
2000-05-02Added proof-assistant-keymap and commands for defining insert keys.David Aspinall
2000-05-01Added proof-assistant-menu-entries for proof assistant specific menus.David Aspinall
2000-04-07Generalisation of proof-info-command to string or fn.David Aspinall
2000-04-07Comments. pbp-mode -> goals-modeDavid Aspinall
2000-04-07Fixed up proof-shell-proof-completed mess nicely.David Aspinall
2000-04-04Update copyright dates, comments.David Aspinall
2000-03-24Add some colours for mswindows in deffaces.David Aspinall
2000-03-24Obscure end of internal input stream problem solved.David Aspinall
2000-03-22Switch back to %s, rename proof-shell-string-escapes -> ↵David Aspinall
proof-shell-filename-escapes, and always apply for filename substn.
2000-03-22Document use of %e in proof-shell-inform-file-{processed,retracted}-cmd.David Aspinall
2000-03-22Mention %e in doc for proof-shell-cd-cmd.David Aspinall
2000-03-22Added new customization: proof-shell-string-escapes.David Aspinall
2000-03-19Added proof-{mode}-font-lock-keywords configuration settings (used by ↵David Aspinall
easy-config). Also silent threshold
2000-03-14Added proof-shell-{start,stop}-silent-cmd.David Aspinall
2000-03-13Added proof-boring-face (default appearance is same as proof-debug-face). ↵David Aspinall
Comment.
2000-03-10Comment.David Aspinall
2000-03-10boundp->fboundp. Fix test for proof-shell-process-connection-type.David Aspinall
2000-03-09Detect default for proof-shell-process-connection-type by running unameDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 02:43:25 +0000