aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa/isabelle-system.el
Commit message (Expand)AuthorAge
* Add a location under HOME to search path for isatoolGravatar David Aspinall2003-05-23
* Add function to parse consts part of syntax outputGravatar David Aspinall2003-03-05
* Add backwards compatibility for old pre-PGIP settings mechanismGravatar David Aspinall2003-02-16
* Updated.Gravatar David Aspinall2003-02-15
* Towards isabelle-refresh-logicsGravatar David Aspinall2003-02-15
* Fix use of replace-regexp-in-stringGravatar David Aspinall2002-12-29
* Documentation.Gravatar David Aspinall2002-11-28
* markup ml for IsarGravatar David Aspinall2002-11-21
* Improve isabelle-choose-logic, and make it clear preferences. Remove all def...Gravatar David Aspinall2002-11-20
* Add proof-shell-issue-pgip-cmd using ProofGeneral.process_pgip.Gravatar David Aspinall2002-11-18
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-16 15:29:01 +0000