aboutsummaryrefslogtreecommitdiff
path: root/isa/isabelle-system.el
AgeCommit message (Expand)Author
2000-08-28Remove Library.timings call, restore compatibility with I99.David Aspinall
2000-07-08isabelle-command-line: try to be smart in ensuring proper IsabelleMakarius Wenzel
2000-07-03Note about trapping errorsDavid 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
2000-07-01activate global-timing;Makarius Wenzel
2000-07-01tuned docs menu;Makarius Wenzel
2000-06-29Added quick-and-dirty setting -- we can still argue about the default, 8-)David Aspinall
2000-06-19Fix typo causing missing proof-shell-pre-interrupt-hook.David Aspinall
2000-06-16Tuned x-symbol config, moved settings to isabelle-system.elDavid Aspinall
2000-06-09fixed show_sorts;Makarius Wenzel
2000-06-05improved isabelle-verbatim-regexp: use \` \' instead of ^ $;Makarius Wenzel
2000-06-04added isabelle-verbatim;Makarius Wenzel
2000-05-31Commented out global-timing since it seems to be Isabelle99-1 specific.David Aspinall
2000-05-30defpacustom global-timing;Makarius Wenzel
2000-05-29Remove isar-markup-ml from hereDavid Aspinall
2000-05-29Generalized proof assistant settings mechanismDavid Aspinall
2000-05-26proof-defass-default -> defpgdefaultDavid Aspinall
2000-05-17added show-consts, long-names;Makarius Wenzel
2000-05-16Move setting of proof-shell-pre-interrupt-hook to isabelle-system.elDavid Aspinall
2000-05-16Missing quoteDavid Aspinall
2000-05-12Fixup menus a bit. Remove proof-prf on options change.David Aspinall
2000-05-12Several name changes isa- -> isabelle-, and made generic for IsarDavid Aspinall
2000-05-12Fix to menu definition.David Aspinall
2000-05-11Generic help menu for Isabelle and Isabelle/Isar added.David Aspinall
2000-05-05isa-system.el -> isabelle-system.elDavid Aspinall
2000-05-05Renamed fileDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 18:32:00 +0000