| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2000-08-28 | Added a couple of todos | David Aspinall | |
| 2000-08-28 | Change name of mode: isar-proofscript-mode -> isar-mode and remove | David Aspinall | |
| alias. Regular mode name needed for fancy macros. Use proof-definvisible fancy macro to define help menu functions. Removed parentheses from menu entries so key bindings show up. | |||
| 2000-08-28 | Missing full stop | David Aspinall | |
| 2000-08-28 | Test file for proof-shell-set-elisp-variable-regexp | David Aspinall | |
| 2000-08-28 | Added setting for proof-shell-set-elisp-variable-regexp | David Aspinall | |
| 2000-08-28 | Added proof-shell-set-elisp-variable-regexp | David Aspinall | |
| 2000-08-28 | Added twelf and experimental support note. | David Aspinall | |
| 2000-08-28 | FIXME note added, missing docstring from macro fn def. | David Aspinall | |
| 2000-08-28 | News updated | David Aspinall | |
| 2000-08-28 | Link to two manuals now. | David Aspinall | |
| 2000-08-28 | Split manual into two parts. | David Aspinall | |
| Added notes about find theorems trick of separating constants by comma for Isabelle. Made for version 99-1. Improved documentation for urgent messages, including recent additions. Mentioned new high-level macros proof-defshortcut, proof-definvisible. | |||
| 2000-08-28 | cd command: add_path; | Makarius Wenzel | |
| 2000-08-28 | conditional load of proof-site.el; | Makarius Wenzel | |
| 2000-08-28 | -w false implies -x false; | Makarius Wenzel | |
| do not load proof-site.el here; | |||
| 2000-08-26 | nothing important, I forgot to undo something before my last commit in | Pierre Courtieu | |
| coq/x-symbol-coq.el | |||
| 2000-08-26 | Some changes for undoing with coq, handle user-defined tactics, in | Pierre Courtieu | |
| coq/coq-syntax.el and coq/coq.el. | |||
| 2000-08-23 | more symbols; | Makarius Wenzel | |
| 2000-08-23 | tuned x-symbol setup; | Makarius Wenzel | |
| 2000-08-16 | isar-keywords-proof-improper; | Makarius Wenzel | |
| 2000-08-16 | added isar-keywords-proof-improper; | Makarius Wenzel | |
| tuned; | |||
| 2000-08-14 | Added Fiona's changes, cleaned up a little bit with header and footer | David Aspinall | |
| 2000-08-14 | Added split string on theorem dependency code, to make list of dependents. | David Aspinall | |
| 2000-08-14 | Added Fiona's changes, cleaned up a little bit | David Aspinall | |
| 2000-08-14 | Added Fiona's changes. | David Aspinall | |
| 2000-08-14 | Files for testing theorem dependency features. | David Aspinall | |
| 2000-08-14 | enhancement of outline regexps for coq, now when hiding bodies, we see | Pierre Courtieu | |
| completely definitions and theorems, but proof script are hidden (but can be blindly sent to the prover). Seems to work correctly. | |||
| 2000-08-14 | enhancement of x-symbol for coq, philosophy is not encoded, and phi1 is, | Pierre Courtieu | |
| one problem remains: a word ending with phi will be encoded. | |||
| 2000-08-09 | smart setup of X-Symbol mode; | Makarius Wenzel | |
| 2000-08-09 | Set version tag for new release. | David Aspinall | |
| 2000-08-07 | added outline mode setup (still not quite working as expected); | Makarius Wenzel | |
| 2000-08-07 | cleaned up outline stuff; | Makarius Wenzel | |
| 2000-08-07 | new category isar-keywords-proof-heading; | Makarius Wenzel | |
| 2000-08-03 | ** B make help key bindings appear in "Show me ..." menu; | Makarius Wenzel | |
| 2000-08-03 | added isar-help functions / keys (how do I get keys into menus?); | Makarius Wenzel | |
| 2000-08-03 | x-symbol-isabelle-electric-ignore: include [[ ]]; | Makarius Wenzel | |
| 2000-08-03 | handle comment inside a command (patch by da); | Makarius Wenzel | |
| 2000-08-02 | x-symbol-isabelle-prepare-table: avoids redundancy in code, improves | Makarius Wenzel | |
| on isar version (only 1 backslash); | |||
| 2000-08-02 | tuned; | Makarius Wenzel | |
| 2000-08-02 | added isa-preprocessing; | Makarius Wenzel | |
| 2000-07-29 | fixed isar-goals-font-lock-keywords; | Makarius Wenzel | |
| 2000-07-29 | added "thm_deps", "overloaded"; | Makarius Wenzel | |
| 2000-07-26 | updated; | Makarius Wenzel | |
| 2000-07-26 | use proof-assistant-table instead of proof-assistants; | Makarius Wenzel | |
| 2000-07-26 | Set version tag for new release. | David Aspinall | |
| 2000-07-26 | Suggestion from DvO added | David Aspinall | |
| 2000-07-20 | Note about need to test.. | David Aspinall | |
| 2000-07-20 | proper evaluation of PROOFGENERAL_ASSISTANTS vs. proof-assistants; | Makarius Wenzel | |
| 2000-07-20 | fixed comment; | Makarius Wenzel | |
| 2000-07-20 | Remove accidental testing setq left in. | David Aspinall | |
| 2000-07-19 | Fix date | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |