aboutsummaryrefslogtreecommitdiff
path: root/isa/isabelle-system.el
AgeCommit message (Expand)Author
2002-11-21markup ml for IsarDavid Aspinall
2002-11-20Improve isabelle-choose-logic, and make it clear preferences. Remove all def...David Aspinall
2002-11-18Add proof-shell-issue-pgip-cmd using ProofGeneral.process_pgip.David Aspinall
2002-08-29Search for isabelle binary in standard places.David Aspinall
2002-08-29Dependencies classed as experimental.David Aspinall
2002-08-28Add missing semicolon.David Aspinall
2002-08-27proper setup for theorem dependencies;Makarius Wenzel
2002-08-16Add span menu for thm_depsDavid Aspinall
2002-08-13Dont force isatool to be foundDavid Aspinall
2002-07-19Support missing/faked isatoolDavid Aspinall
2002-07-19Bug in load-isar-keywordsDavid Aspinall
2002-07-18Fix sub/sups; defer loading x-symbol-isabelle.David Aspinall
2002-07-18Fix active variable highlighting in Isabelle with X-Symbol.David Aspinall
2002-07-16Fix typo.David Aspinall
2002-07-16Add conversion of idmarkup to subtermDavid Aspinall
2002-07-01Added isabelle-load-isar-keywords mimic of script startup.David Aspinall
2002-06-24Hack to avoid loading x-symbol-isabelleDavid Aspinall
2002-05-21Mistake in function name (Norbert Voelker <norbert@essex.ac.uk>)David Aspinall
2002-01-21full-proofs setting;Makarius Wenzel
2001-12-27trace_rules flag;Makarius Wenzel
2001-08-30Fix interrupt hook for PolyML 4 in recent IsabelleDavid Aspinall
2001-08-30Set proof-shell-pre-interrupt-hook for PolyML (not just PolyML 3).David Aspinall
2001-01-12proof-string-match;Makarius Wenzel
2000-12-01isabelle-command-line: getenv "ISABELLE_OPTIONS";Makarius Wenzel
2000-10-02added settings: eta-contract, goals-limit, prems-limit;Makarius Wenzel
2000-09-25isa-isatool-command: tuned standard places of Isabelle installation;Makarius Wenzel
2000-09-17isabelle-command-line: include -PI options for isar;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-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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 10:26:30 +0000