aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa/isabelle-system.el
Commit message (Expand)AuthorAge
* 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
* Generic help menu for Isabelle and Isabelle/Isar added.Gravatar David Aspinall2000-05-11
* isa-system.el -> isabelle-system.elGravatar David Aspinall2000-05-05
* Renamed fileGravatar David Aspinall2000-05-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-22 03:46:12 +0000