aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa/isabelle-system.el
Commit message (Expand)AuthorAge
* negotiate PGASCII only for proof-shell-unicode;Gravatar Makarius Wenzel2005-09-28
* Updated.Gravatar David Aspinall2005-09-22
* Updated.Gravatar David Aspinall2005-09-22
* removed obsolete ML code;Gravatar Makarius Wenzel2005-09-16
* added -m PGASCII for Isabelle/Isar process;Gravatar Makarius Wenzel2005-09-14
* do not include leading space in parameter to isatool doc, i.e.Gravatar Gerwin Klein2005-09-02
* tuned ML code for manipulating print_mode;Gravatar Makarius Wenzel2005-09-01
* Repaired fix suggested by Jonathan S. ShapiroGravatar David Aspinall2004-10-07
* Include /usr/bin/isatool as a possibilityGravatar David Aspinall2004-10-05
* Fix to `isa-shell-command-to-string' suggested by Jonathan S. ShapiroGravatar David Aspinall2004-10-05
* Fix isa-tool-list-docs for altered form of output from isatool docGravatar David Aspinall2004-04-17
* Add automatic refresh of Logics menuGravatar David Aspinall2004-04-16
* CommentsGravatar David Aspinall2004-04-02
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-04 01:04:15 +0000