index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
isa
/
isabelle-system.el
Commit message (
Expand
)
Author
Age
*
isabelle-command-line: getenv "ISABELLE_OPTIONS";
Makarius Wenzel
2000-12-01
*
added settings: eta-contract, goals-limit, prems-limit;
Makarius Wenzel
2000-10-02
*
isa-isatool-command: tuned standard places of Isabelle installation;
Makarius Wenzel
2000-09-25
*
isabelle-command-line: include -PI options for isar;
Makarius Wenzel
2000-09-17
*
proof-shell-pre-interrupt-hook for PolyML 3 only;
Makarius Wenzel
2000-09-11
*
Changes for selecting object logic, locating executables.
David Aspinall
2000-09-08
*
Remove Library.timings call, restore compatibility with I99.
David Aspinall
2000-08-28
*
isabelle-command-line: try to be smart in ensuring proper Isabelle
Makarius Wenzel
2000-07-08
*
Note about trapping errors
David Aspinall
2000-07-03
*
quick-and-dirty t by default;
Makarius Wenzel
2000-07-03
*
Patch to cope gracefully with empty list of Isabelle documents.
David Aspinall
2000-07-03
*
activate global-timing;
Makarius Wenzel
2000-07-01
*
tuned docs menu;
Makarius Wenzel
2000-07-01
*
Added quick-and-dirty setting -- we can still argue about the default, 8-)
David Aspinall
2000-06-29
*
Fix typo causing missing proof-shell-pre-interrupt-hook.
David Aspinall
2000-06-19
*
Tuned x-symbol config, moved settings to isabelle-system.el
David Aspinall
2000-06-16
*
fixed show_sorts;
Makarius Wenzel
2000-06-09
*
improved isabelle-verbatim-regexp: use \` \' instead of ^ $;
Makarius Wenzel
2000-06-05
*
added isabelle-verbatim;
Makarius Wenzel
2000-06-04
*
Commented out global-timing since it seems to be Isabelle99-1 specific.
David Aspinall
2000-05-31
*
defpacustom global-timing;
Makarius Wenzel
2000-05-30
*
Remove isar-markup-ml from here
David Aspinall
2000-05-29
*
Generalized proof assistant settings mechanism
David Aspinall
2000-05-29
*
proof-defass-default -> defpgdefault
David Aspinall
2000-05-26
*
added show-consts, long-names;
Makarius Wenzel
2000-05-17
*
Move setting of proof-shell-pre-interrupt-hook to isabelle-system.el
David Aspinall
2000-05-16
*
Missing quote
David Aspinall
2000-05-16
*
Fixup menus a bit. Remove proof-prf on options change.
David Aspinall
2000-05-12
*
Several name changes isa- -> isabelle-, and made generic for Isar
David Aspinall
2000-05-12
*
Fix to menu definition.
David Aspinall
2000-05-12
*
Generic help menu for Isabelle and Isabelle/Isar added.
David Aspinall
2000-05-11
*
isa-system.el -> isabelle-system.el
David Aspinall
2000-05-05
*
Renamed file
David Aspinall
2000-05-05