| Age | Commit message (Expand) | Author |
|---|
| 2000-09-13 | Make <PA>-toolbar-entries, and move it and proof-toolbar-entries-default to p... | David Aspinall |
| 2000-09-12 | Docs for proof-shell-eager-annotation-start stuff | David Aspinall |
| 2000-09-11 | Added proof-shell-annotated-prompt-regexp to important settings, removed safe... | David Aspinall |
| 2000-09-08 | Rearrangement | David Aspinall |
| 2000-08-29 | Added proof-shell-auto-terminate-commands | David Aspinall |
| 2000-08-28 | Added proof-shell-set-elisp-variable-regexp | David Aspinall |
| 2000-07-19 | changes to add theorem dependencies recording in spans | David Aspinall |
| 2000-06-22 | Added back defconsts for face names needed for FSF Emacs. | David Aspinall |
| 2000-06-16 | proof-script-next-entity-regexps: admit list of MATCHNOS; | Makarius Wenzel |
| 2000-06-16 | Added pgcustom x-symbol-language to allow different language name than proof ... | David Aspinall |
| 2000-06-15 | Improved some docstrings. | David Aspinall |
| 2000-06-08 | settings for new indentation setup; | Makarius Wenzel |
| 2000-06-05 | Tweaked some docstrings. | David Aspinall |
| 2000-06-01 | Use proof-running-on-XEmacs variable. | David Aspinall |
| 2000-06-01 | Added proof-comment-start-regexp, proof-commend-end-regexp. | David Aspinall |
| 2000-05-30 | Added proof-script-command-start-regexp. Updated docstrings to reflect that ... | David Aspinall |
| 2000-05-29 | Added configuration variables for proof assistant settings. Docstring for fa... | David Aspinall |
| 2000-05-26 | Rename proof-defass-custom -> defpgcustom. | David Aspinall |
| 2000-05-25 | Temp hacks to get doc to build before proper commits. | David Aspinall |
| 2000-05-25 | Made x-symbol-enable be individual option. | David Aspinall |
| 2000-05-25 | Patch for synchronization problem in Coq, perhaps others. | David Aspinall |
| 2000-05-25 | Turn off button enablers when running on Solaris | David Aspinall |
| 2000-05-16 | Added version string to splash. Added proof-strict-state-preserving | David Aspinall |
| 2000-05-12 | Added proof-defassfun. Comments | David Aspinall |
| 2000-05-12 | Fix to function name | David Aspinall |
| 2000-05-11 | Removed duplicate declaration | David Aspinall |
| 2000-05-11 | New mechanism for defining customization variables per-prover. | David Aspinall |
| 2000-05-09 | New setting on the way... | David Aspinall |
| 2000-05-09 | Fixup menus. | David Aspinall |
| 2000-05-09 | Prevent proof-set-value until proof-config-loaded. (C) on splash screen. | David Aspinall |
| 2000-05-07 | Comments | David Aspinall |
| 2000-05-05 | Improved docs, declaration of variables set in proof-site, settings mechanism... | David Aspinall |
| 2000-05-02 | Added proof-assistant-keymap and commands for defining insert keys. | David Aspinall |
| 2000-05-01 | Added proof-assistant-menu-entries for proof assistant specific menus. | David Aspinall |
| 2000-04-07 | Generalisation of proof-info-command to string or fn. | David Aspinall |
| 2000-04-07 | Comments. pbp-mode -> goals-mode | David Aspinall |
| 2000-04-07 | Fixed up proof-shell-proof-completed mess nicely. | David Aspinall |
| 2000-04-04 | Update copyright dates, comments. | David Aspinall |
| 2000-03-24 | Add some colours for mswindows in deffaces. | David Aspinall |
| 2000-03-24 | Obscure end of internal input stream problem solved. | David Aspinall |
| 2000-03-22 | Switch back to %s, rename proof-shell-string-escapes -> proof-shell-filename-... | David Aspinall |
| 2000-03-22 | Document use of %e in proof-shell-inform-file-{processed,retracted}-cmd. | David Aspinall |
| 2000-03-22 | Mention %e in doc for proof-shell-cd-cmd. | David Aspinall |
| 2000-03-22 | Added new customization: proof-shell-string-escapes. | David Aspinall |
| 2000-03-19 | Added proof-{mode}-font-lock-keywords configuration settings (used by easy-co... | David Aspinall |
| 2000-03-14 | Added proof-shell-{start,stop}-silent-cmd. | David Aspinall |
| 2000-03-13 | Added proof-boring-face (default appearance is same as proof-debug-face). Com... | David Aspinall |
| 2000-03-10 | Comment. | David Aspinall |
| 2000-03-10 | boundp->fboundp. Fix test for proof-shell-process-connection-type. | David Aspinall |
| 2000-03-09 | Detect default for proof-shell-process-connection-type by running uname | David Aspinall |
