| Age | Commit message (Expand) | Author |
|---|
| 2000-12-14 | Add proof-disappearing-proofs | David Aspinall |
| 2000-11-24 | Added proof-shell-match-pgip-cmd | David Aspinall |
| 2000-10-30 | *** empty log message *** | Christophe Raffalli |
| 2000-09-29 | Default for proof-comment-end that doesn't cause looping in searching for com... | David Aspinall |
| 2000-09-28 | Added proof-shell-strip-crs-from-input, and unadvertised proof-script-fly-pas... | David Aspinall |
| 2000-09-27 | Added yet another new parsing mechanism, bit more rational this time. | David Aspinall |
| 2000-09-26 | Fix Proof General web page to www.proofgeneral.org. | David Aspinall |
| 2000-09-21 | Newlines. | David Aspinall |
| 2000-09-20 | Disable toolbar enablers on win32. | David Aspinall |
| 2000-09-14 | Improved docstrings, comments. | David Aspinall |
| 2000-09-13 | Docstring changes for printed docs. | David Aspinall |
| 2000-09-13 | Order change | David Aspinall |
| 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 |
