aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-08-02x-symbol-isabelle-prepare-table: avoids redundancy in code, improvesMakarius Wenzel
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
2000-07-12Make proof-splash-message autoload.David Aspinall
2000-07-08isabelle-command-line: try to be smart in ensuring proper IsabelleMakarius Wenzel
2000-07-08proof-prog-name: use isabelle-command-line;Makarius Wenzel
2000-07-08proof-prog-name: use isabelle-command-line;Makarius Wenzel
2000-07-08do not change isabelle-prog-name here;Makarius Wenzel
2000-07-06tuned help-menu-entries;Makarius Wenzel
2000-07-05Set version tag for new release.David Aspinall
2000-07-05UpdatedDavid Aspinall
2000-07-05Fix to make back() undoable.David Aspinall
2000-07-04Set version tag for new release.David Aspinall
2000-07-04CVS web scriptDavid Aspinall
2000-07-04Changes for CVS web style fixupDavid Aspinall
2000-07-04Ignore file for xvpics put there by gimpDavid Aspinall
2000-07-03Set version tag for new release.David Aspinall
2000-07-03Note about trapping errorsDavid Aspinall
2000-07-03UpdatedDavid Aspinall
2000-07-03quick-and-dirty t by default;Makarius Wenzel
2000-07-03Patch to cope gracefully with empty list of Isabelle documents.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 06:23:56 +0000