| Commit message (Expand) | Author | Age |
|---|
| * | Default for proof-comment-end that doesn't cause looping in searching for com... |  David Aspinall | 2000-09-29 |
| * | Added proof-shell-strip-crs-from-input, and unadvertised proof-script-fly-pas... | David Aspinall | 2000-09-28 |
| * | Added yet another new parsing mechanism, bit more rational this time. | David Aspinall | 2000-09-27 |
| * | Fix Proof General web page to www.proofgeneral.org. | David Aspinall | 2000-09-26 |
| * | Newlines. | David Aspinall | 2000-09-21 |
| * | Disable toolbar enablers on win32. | David Aspinall | 2000-09-20 |
| * | Improved docstrings, comments. | David Aspinall | 2000-09-14 |
| * | 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-13 |
| * | Docs for proof-shell-eager-annotation-start stuff | David Aspinall | 2000-09-12 |
| * | Added proof-shell-annotated-prompt-regexp to important settings, removed safe... | David Aspinall | 2000-09-11 |
| * | Rearrangement | David Aspinall | 2000-09-08 |
| * | Added proof-shell-auto-terminate-commands | David Aspinall | 2000-08-29 |
| * | Added proof-shell-set-elisp-variable-regexp | David Aspinall | 2000-08-28 |
| * | changes to add theorem dependencies recording in spans | David Aspinall | 2000-07-19 |
| * | Added back defconsts for face names needed for FSF Emacs. | David Aspinall | 2000-06-22 |
| * | 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-16 |
| * | Improved some docstrings. | David Aspinall | 2000-06-15 |
| * | settings for new indentation setup; | Makarius Wenzel | 2000-06-08 |
| * | Tweaked some docstrings. | David Aspinall | 2000-06-05 |
| * | Use proof-running-on-XEmacs variable. | David Aspinall | 2000-06-01 |
| * | Added proof-comment-start-regexp, proof-commend-end-regexp. | David Aspinall | 2000-06-01 |
| * | Added proof-script-command-start-regexp. Updated docstrings to reflect that ... | David Aspinall | 2000-05-30 |
| * | Added configuration variables for proof assistant settings. Docstring for fa... | David Aspinall | 2000-05-29 |
| * | Rename proof-defass-custom -> defpgcustom. | David Aspinall | 2000-05-26 |
| * | 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-25 |
| * | Added version string to splash. Added proof-strict-state-preserving | David Aspinall | 2000-05-16 |
| * | Added proof-defassfun. Comments | David Aspinall | 2000-05-12 |
| * | Fix to function name | David Aspinall | 2000-05-12 |
| * | Removed duplicate declaration | David Aspinall | 2000-05-11 |
| * | New mechanism for defining customization variables per-prover. | David Aspinall | 2000-05-11 |
| * | 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-09 |
| * | Comments | David Aspinall | 2000-05-07 |
| * | Improved docs, declaration of variables set in proof-site, settings mechanism... | David Aspinall | 2000-05-05 |
| * | Added proof-assistant-keymap and commands for defining insert keys. | David Aspinall | 2000-05-02 |
| * | Added proof-assistant-menu-entries for proof assistant specific menus. | David Aspinall | 2000-05-01 |
| * | 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-07 |
| * | Update copyright dates, comments. | David Aspinall | 2000-04-04 |
| * | Add some colours for mswindows in deffaces. | David Aspinall | 2000-03-24 |
| * | Obscure end of internal input stream problem solved. | David Aspinall | 2000-03-24 |
| * | Switch back to %s, rename proof-shell-string-escapes -> proof-shell-filename-... | David Aspinall | 2000-03-22 |
David Aspinall
Makarius Wenzel