aboutsummaryrefslogtreecommitdiff
path: root/isa
AgeCommit message (Expand)Author
2000-07-26Suggestion from DvO addedDavid Aspinall
2000-07-20Remove accidental testing setq left in.David Aspinall
2000-07-19experiments with theorem dependenciesDavid Aspinall
2000-07-19reverting to last versionDavid Aspinall
2000-07-19file for theorem dependenciesfionam
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-08do not change isabelle-prog-name here;Makarius Wenzel
2000-07-05Fix to make back() undoable.David Aspinall
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-27TidyDavid Aspinall
2000-06-22Added missing proof.David Aspinall
2000-06-19Fix typo causing missing proof-shell-pre-interrupt-hook.David Aspinall
2000-06-16proper indentation setup;Makarius Wenzel
2000-06-16proper indentation;Makarius Wenzel
2000-06-16Renamed x symbol language name to isabelle (rather big for status line, unfor...David Aspinall
2000-06-16Tuned x-symbol config, moved settings to isabelle-system.elDavid Aspinall
2000-06-16Renamed fileDavid Aspinall
2000-06-15First attempt at using new indentation for Isabelle. Utterly broken.David Aspinall
2000-06-09fixed show_sorts;Makarius Wenzel
2000-06-08adapted to new indentation setup;Makarius Wenzel
2000-06-07Removed disable of simp tracing from enable/disable pr, desired functionality...David Aspinall
2000-06-05improved isabelle-verbatim-regexp: use \` \' instead of ^ $;Makarius Wenzel
2000-06-05Added proof-next-error to menu.David Aspinall
2000-06-05Added settings for proof-next-error.David Aspinall
2000-06-05fixed output syntax table;Makarius Wenzel
2000-06-04replaced isa-verbatim by isabelle-verbatim;Makarius Wenzel
2000-06-04added isabelle-verbatim;Makarius Wenzel
2000-06-01Remove spurious spacesDavid Aspinall
2000-05-31Commented out global-timing since it seems to be Isabelle99-1 specific.David Aspinall
2000-05-31Added old completion table from Isamode. Added code to automatically add com...David Aspinall
2000-05-30Added missing command terminators for proof-xsym commandsDavid Aspinall
2000-05-30handle 'isa-x-symbol-enable vs. 'isar-x-symbol-enable;Makarius Wenzel
2000-05-30defpacustom global-timing;Makarius Wenzel
2000-05-29DocstringDavid Aspinall
2000-05-29Remove isar-markup-ml from hereDavid Aspinall
2000-05-29Generalized proof assistant settings mechanismDavid Aspinall
2000-05-29Add explicit terminators to commands. Generalized isabelle-set-default-cmd.David Aspinall
2000-05-29Additions to font lock on outputDavid Aspinall
2000-05-26proof-defass-default -> defpgdefaultDavid Aspinall
2000-05-25Patch for synchronization problem in Coq, perhaps others.David Aspinall
2000-05-18Goals.enable/disable_pr: improved version for Isabelle99-1 (commented out);Makarius Wenzel
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-21 19:48:55 +0000