| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2000-08-14 | enhancement of x-symbol for coq, philosophy is not encoded, and phi1 is, | Pierre Courtieu |
| 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 |
| 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 |
| 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-17 | tuned; | Makarius Wenzel |
| 2000-07-16 | 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-13 | Set version tag for new release. | David Aspinall |
| 2000-07-13 | Add Isabelle interface scripts to RPM | David Aspinall |
| 2000-07-12 | Set version tag for new release. | David Aspinall |
| 2000-07-12 | Updated | David Aspinall |
| 2000-07-12 | Minor updates | David Aspinall |
| 2000-07-12 | Update autoloads. | David Aspinall |
| 2000-07-12 | Make proof-splash-message autoload. | David Aspinall |
| 2000-07-08 | isabelle-command-line: try to be smart in ensuring proper Isabelle | Makarius Wenzel |
