aboutsummaryrefslogtreecommitdiff
path: root/isa/isabelle-system.el
AgeCommit message (Expand)Author
2006-12-05Deleted fileDavid Aspinall
2005-09-28negotiate PGASCII only for proof-shell-unicode;Makarius Wenzel
2005-09-22Updated.David Aspinall
2005-09-22Updated.David Aspinall
2005-09-16removed obsolete ML code;Makarius Wenzel
2005-09-14added -m PGASCII for Isabelle/Isar process;Makarius Wenzel
2005-09-02do not include leading space in parameter to isatool doc, i.e.Gerwin Klein
2005-09-01tuned ML code for manipulating print_mode;Makarius Wenzel
2004-10-07Repaired fix suggested by Jonathan S. ShapiroDavid Aspinall
2004-10-05Include /usr/bin/isatool as a possibilityDavid Aspinall
2004-10-05Fix to `isa-shell-command-to-string' suggested by Jonathan S. ShapiroDavid Aspinall
2004-04-17Fix isa-tool-list-docs for altered form of output from isatool docDavid Aspinall
2004-04-16Add automatic refresh of Logics menuDavid Aspinall
2004-04-02CommentsDavid Aspinall
2003-05-23Add a location under HOME to search path for isatoolDavid Aspinall
2003-03-05Add function to parse consts part of syntax outputDavid Aspinall
2003-02-16Add backwards compatibility for old pre-PGIP settings mechanismDavid Aspinall
2003-02-15Updated.David Aspinall
2003-02-15Towards isabelle-refresh-logicsDavid Aspinall
2002-12-29Fix use of replace-regexp-in-stringDavid Aspinall
2002-11-28Documentation.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 15:17:31 +0000