aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2000-08-16isar-keywords-proof-improper;Makarius Wenzel
2000-08-16added isar-keywords-proof-improper;Makarius Wenzel
tuned;
2000-08-14Added Fiona's changes, cleaned up a little bit with header and footerDavid Aspinall
2000-08-14Added split string on theorem dependency code, to make list of dependents.David Aspinall
2000-08-14Added Fiona's changes, cleaned up a little bitDavid Aspinall
2000-08-14Added Fiona's changes.David Aspinall
2000-08-14Files for testing theorem dependency features.David Aspinall
2000-08-14enhancement of outline regexps for coq, now when hiding bodies, we seePierre Courtieu
completely definitions and theorems, but proof script are hidden (but can be blindly sent to the prover). Seems to work correctly.
2000-08-14enhancement 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-09smart setup of X-Symbol mode;Makarius Wenzel
2000-08-09Set version tag for new release.David Aspinall
2000-08-07added outline mode setup (still not quite working as expected);Makarius Wenzel
2000-08-07cleaned up outline stuff;Makarius Wenzel
2000-08-07new category isar-keywords-proof-heading;Makarius Wenzel
2000-08-03** B make help key bindings appear in "Show me ..." menu;Makarius Wenzel
2000-08-03added isar-help functions / keys (how do I get keys into menus?);Makarius Wenzel
2000-08-03x-symbol-isabelle-electric-ignore: include [[ ]];Makarius Wenzel
2000-08-03handle comment inside a command (patch by da);Makarius Wenzel
2000-08-02x-symbol-isabelle-prepare-table: avoids redundancy in code, improvesMakarius Wenzel
on isar version (only 1 backslash);
2000-08-02tuned;Makarius Wenzel
2000-08-02added isa-preprocessing;Makarius Wenzel
2000-07-29fixed isar-goals-font-lock-keywords;Makarius Wenzel
2000-07-29added "thm_deps", "overloaded";Makarius Wenzel
2000-07-26updated;Makarius Wenzel
2000-07-26use proof-assistant-table instead of proof-assistants;Makarius Wenzel
2000-07-26Set version tag for new release.David Aspinall
2000-07-26Suggestion from DvO addedDavid Aspinall
2000-07-20Note about need to test..David Aspinall
2000-07-20proper evaluation of PROOFGENERAL_ASSISTANTS vs. proof-assistants;Makarius Wenzel
2000-07-20fixed comment;Makarius Wenzel
2000-07-20Remove accidental testing setq left in.David Aspinall
2000-07-19Fix dateDavid Aspinall
2000-07-19bug fixing in matching theorem dependenciesDavid Aspinall
2000-07-19functions for manipulating theorem dependenciesDavid Aspinall
2000-07-19experiments with theorem dependenciesDavid Aspinall
2000-07-19changes to add theorem dependencies recording in spansDavid Aspinall
2000-07-19use ML_command to avoid unwanted output;Makarius Wenzel
2000-07-19reverting to last versionDavid Aspinall
2000-07-19file for theorem dependenciesfionam
2000-07-17tuned;Makarius Wenzel
2000-07-16Set version tag for new release.David Aspinall
2000-07-16Removed some (hopefully redundant) requires.David Aspinall
2000-07-16Modified, now white paper contains DTDs (soon)David Aspinall
2000-07-16Note that theres nothing there yet.David Aspinall
2000-07-13Set version tag for new release.David Aspinall
2000-07-13Add Isabelle interface scripts to RPMDavid Aspinall
2000-07-12Set version tag for new release.David Aspinall
2000-07-12UpdatedDavid Aspinall
2000-07-12Minor updatesDavid Aspinall
2000-07-12Update autoloads.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 07:12:09 +0000