| Commit message (Expand) | Author | Age |
|---|
| * | conditional load of proof-site.el; |  Makarius Wenzel | 2000-08-28 |
| * | -w false implies -x false; | Makarius Wenzel | 2000-08-28 |
| * | nothing important, I forgot to undo something before my last commit in |  Pierre Courtieu | 2000-08-26 |
| * | Some changes for undoing with coq, handle user-defined tactics, in | Pierre Courtieu | 2000-08-26 |
| * | more symbols; | Makarius Wenzel | 2000-08-23 |
| * | tuned x-symbol setup; | Makarius Wenzel | 2000-08-23 |
| * | isar-keywords-proof-improper; | Makarius Wenzel | 2000-08-16 |
| * | added isar-keywords-proof-improper; | Makarius Wenzel | 2000-08-16 |
| * | 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 | 2000-08-14 |
| * | enhancement of x-symbol for coq, philosophy is not encoded, and phi1 is, | Pierre Courtieu | 2000-08-14 |
| * | smart setup of X-Symbol mode; | Makarius Wenzel | 2000-08-09 |
| * | Set version tag for new release. | David Aspinall | 2000-08-09 |
| * | 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-07 |
| * | ** 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-03 |
| * | x-symbol-isabelle-prepare-table: avoids redundancy in code, improves | Makarius Wenzel | 2000-08-02 |
| * | tuned; | Makarius Wenzel | 2000-08-02 |
| * | added isa-preprocessing; | Makarius Wenzel | 2000-08-02 |
| * | fixed isar-goals-font-lock-keywords; | Makarius Wenzel | 2000-07-29 |
| * | added "thm_deps", "overloaded"; | Makarius Wenzel | 2000-07-29 |
| * | 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-26 |
| * | 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-20 |
| * | Fix date | David Aspinall | 2000-07-19 |
| * | bug fixing in matching theorem dependencies | David Aspinall | 2000-07-19 |
| * | functions for manipulating theorem dependencies | David Aspinall | 2000-07-19 |
| * | experiments with theorem dependencies | David Aspinall | 2000-07-19 |
| * | changes to add theorem dependencies recording in spans | David Aspinall | 2000-07-19 |
| * | use ML_command to avoid unwanted output; | Makarius Wenzel | 2000-07-19 |
| * | reverting to last version | David Aspinall | 2000-07-19 |
| * | file for theorem dependencies |  fionam | 2000-07-19 |
| * | tuned; | Makarius Wenzel | 2000-07-17 |
| * | Set version tag for new release. | David Aspinall | 2000-07-16 |
| * | Removed some (hopefully redundant) requires. | David Aspinall | 2000-07-16 |
| * | Modified, now white paper contains DTDs (soon) | David Aspinall | 2000-07-16 |
| * | Note that theres nothing there yet. | David Aspinall | 2000-07-16 |
Makarius Wenzel
Pierre Courtieu
David Aspinall
fionam