aboutsummaryrefslogtreecommitdiff
path: root/isa
AgeCommit message (Expand)Author
2000-09-17silent-cmd and init-cmd: activate Isabelle99-1 versions;Makarius Wenzel
2000-09-17isabelle-command-line: include -PI options for isar;Makarius Wenzel
2000-09-17this file is now a COPY of isar/interface;Makarius Wenzel
2000-09-15isatool installfonts (for remote X-Symbol fonts);Makarius Wenzel
2000-09-14renamed \<brokenbar> to \<bar>;Makarius Wenzel
2000-09-14x-symbol-isabelle-electric-ignore: "~=";Makarius Wenzel
2000-09-11proof-shell-pre-interrupt-hook for PolyML 3 only;Makarius Wenzel
2000-09-08Changes for selecting object logic, locating executables.David Aspinall
2000-09-02more quoting;Makarius Wenzel
2000-08-28Remove Library.timings call, restore compatibility with I99.David Aspinall
2000-08-28Added setting for proof-shell-set-elisp-variable-regexpDavid Aspinall
2000-08-28cd command: add_path;Makarius Wenzel
2000-08-28conditional load of proof-site.el;Makarius Wenzel
2000-08-28-w false implies -x false;Makarius Wenzel
2000-08-23more symbols;Makarius Wenzel
2000-08-23tuned x-symbol setup;Makarius Wenzel
2000-08-14Added Fiona's changes.David Aspinall
2000-08-09smart setup of X-Symbol mode;Makarius Wenzel
2000-08-03x-symbol-isabelle-electric-ignore: include [[ ]];Makarius Wenzel
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-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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-19 00:04:57 +0000