| Commit message (Expand) | Author | Age |
* | 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 |
* | 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-22 |
* | Added proof-{mode}-font-lock-keywords configuration settings (used by easy-co... | David Aspinall | 2000-03-19 |