aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-config.el
AgeCommit message (Expand)Author
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
2000-05-07CommentsDavid Aspinall
2000-05-05Improved docs, declaration of variables set in proof-site, settings mechanism...David Aspinall
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 -> proof-shell-filename-...David Aspinall
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 easy-co...David Aspinall
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). Com...David Aspinall
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
2000-03-09Added proof-shell-process-connection-type.David Aspinall
2000-02-15New canonical URL for PG.David Aspinall
2000-02-09Added proof-shell-pre-interrupt-hookDavid Aspinall
1999-11-26Typos.David Aspinall
1999-11-24Improved docstrings. Generalised proof-set-bool -> proof-set-value.David Aspinall
1999-11-24Many fixes to docstrings and comments. Added proof-analyse-using-stack here.David Aspinall
1999-11-23docstring improvementDavid Aspinall
1999-11-22Renamed proof-auto-delete-windows -> proof-delete-empty-windowsDavid Aspinall
1999-11-22proof-shell-done-invisible -> proof-done-invisible againDavid Aspinall
1999-11-22Added curious commentDavid Aspinall
1999-11-22Fix a couple of group names, and comments at top of file.David Aspinall
1999-11-19docstringDavid Aspinall
1999-11-19Removed spurious defn of proof-config.elDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-22 01:00:14 +0000