aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa/isabelle-system.el
Commit message (Expand)AuthorAge
* Search for isabelle binary in standard places.Gravatar David Aspinall2002-08-29
* Dependencies classed as experimental.Gravatar David Aspinall2002-08-29
* Add missing semicolon.Gravatar David Aspinall2002-08-28
* proper setup for theorem dependencies;Gravatar Makarius Wenzel2002-08-27
* Add span menu for thm_depsGravatar David Aspinall2002-08-16
* Dont force isatool to be foundGravatar David Aspinall2002-08-13
* Support missing/faked isatoolGravatar David Aspinall2002-07-19
* Bug in load-isar-keywordsGravatar David Aspinall2002-07-19
* Fix sub/sups; defer loading x-symbol-isabelle.Gravatar David Aspinall2002-07-18
* Fix active variable highlighting in Isabelle with X-Symbol.Gravatar David Aspinall2002-07-18
* Fix typo.Gravatar David Aspinall2002-07-16
* Add conversion of idmarkup to subtermGravatar David Aspinall2002-07-16
* Added isabelle-load-isar-keywords mimic of script startup.Gravatar David Aspinall2002-07-01
* Hack to avoid loading x-symbol-isabelleGravatar David Aspinall2002-06-24
* Mistake in function name (Norbert Voelker <norbert@essex.ac.uk>)Gravatar David Aspinall2002-05-21
* full-proofs setting;Gravatar Makarius Wenzel2002-01-21
* trace_rules flag;Gravatar Makarius Wenzel2001-12-27
* Fix interrupt hook for PolyML 4 in recent IsabelleGravatar David Aspinall2001-08-30
* Set proof-shell-pre-interrupt-hook for PolyML (not just PolyML 3).Gravatar David Aspinall2001-08-30
* proof-string-match;Gravatar Makarius Wenzel2001-01-12
* isabelle-command-line: getenv "ISABELLE_OPTIONS";Gravatar Makarius Wenzel2000-12-01
* added settings: eta-contract, goals-limit, prems-limit;Gravatar Makarius Wenzel2000-10-02
* isa-isatool-command: tuned standard places of Isabelle installation;Gravatar Makarius Wenzel2000-09-25
* isabelle-command-line: include -PI options for isar;Gravatar Makarius Wenzel2000-09-17
* proof-shell-pre-interrupt-hook for PolyML 3 only;Gravatar Makarius Wenzel2000-09-11
* Changes for selecting object logic, locating executables.Gravatar David Aspinall2000-09-08
* Remove Library.timings call, restore compatibility with I99.Gravatar David Aspinall2000-08-28
* isabelle-command-line: try to be smart in ensuring proper IsabelleGravatar Makarius Wenzel2000-07-08
* Note about trapping errorsGravatar David Aspinall2000-07-03
* quick-and-dirty t by default;Gravatar Makarius Wenzel2000-07-03
* Patch to cope gracefully with empty list of Isabelle documents.Gravatar David Aspinall2000-07-03
* activate global-timing;Gravatar Makarius Wenzel2000-07-01
* tuned docs menu;Gravatar Makarius Wenzel2000-07-01
* Added quick-and-dirty setting -- we can still argue about the default, 8-)Gravatar David Aspinall2000-06-29
* Fix typo causing missing proof-shell-pre-interrupt-hook.Gravatar David Aspinall2000-06-19
* Tuned x-symbol config, moved settings to isabelle-system.elGravatar David Aspinall2000-06-16
* fixed show_sorts;Gravatar Makarius Wenzel2000-06-09
* improved isabelle-verbatim-regexp: use \` \' instead of ^ $;Gravatar Makarius Wenzel2000-06-05
* added isabelle-verbatim;Gravatar Makarius Wenzel2000-06-04
* Commented out global-timing since it seems to be Isabelle99-1 specific.Gravatar David Aspinall2000-05-31
* defpacustom global-timing;Gravatar Makarius Wenzel2000-05-30
* Remove isar-markup-ml from hereGravatar David Aspinall2000-05-29
* Generalized proof assistant settings mechanismGravatar David Aspinall2000-05-29
* proof-defass-default -> defpgdefaultGravatar David Aspinall2000-05-26
* added show-consts, long-names;Gravatar Makarius Wenzel2000-05-17
* Move setting of proof-shell-pre-interrupt-hook to isabelle-system.elGravatar David Aspinall2000-05-16
* Missing quoteGravatar David Aspinall2000-05-16
* Fixup menus a bit. Remove proof-prf on options change.Gravatar David Aspinall2000-05-12
* Several name changes isa- -> isabelle-, and made generic for IsarGravatar David Aspinall2000-05-12
* Fix to menu definition.Gravatar David Aspinall2000-05-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 19:54:41 +0000