aboutsummaryrefslogtreecommitdiff
path: root/isa
AgeCommit message (Collapse)Author
2000-07-03Note about trapping errorsDavid Aspinall
2000-07-03quick-and-dirty t by default;Makarius Wenzel
2000-07-03Patch to cope gracefully with empty list of Isabelle documents.David Aspinall
2000-07-01activate global-timing;Makarius Wenzel
2000-07-01tuned docs menu;Makarius Wenzel
2000-06-29Added quick-and-dirty setting -- we can still argue about the default, 8-)David Aspinall
2000-06-27TidyDavid Aspinall
2000-06-22Added missing proof.David Aspinall
2000-06-19Fix typo causing missing proof-shell-pre-interrupt-hook.David Aspinall
2000-06-16proper indentation setup;Makarius Wenzel
2000-06-16proper indentation;Makarius Wenzel
2000-06-16Renamed x symbol language name to isabelle (rather big for status line, ↵David Aspinall
unfortunately)
2000-06-16Tuned x-symbol config, moved settings to isabelle-system.elDavid Aspinall
2000-06-16Renamed fileDavid Aspinall
2000-06-15First attempt at using new indentation for Isabelle. Utterly broken.David Aspinall
2000-06-09fixed show_sorts;Makarius Wenzel
2000-06-08adapted to new indentation setup;Makarius Wenzel
2000-06-07Removed disable of simp tracing from enable/disable pr, desired ↵David Aspinall
functionality now in Isabelle's update_thy for PG
2000-06-05improved isabelle-verbatim-regexp: use \` \' instead of ^ $;Makarius Wenzel
2000-06-05Added proof-next-error to menu.David Aspinall
2000-06-05Added settings for proof-next-error.David Aspinall
Added switch off of simplifier tracing to quiet command (not good enough -- need help from Isabelle for that really).
2000-06-05fixed output syntax table;Makarius Wenzel
2000-06-04replaced isa-verbatim by isabelle-verbatim;Makarius Wenzel
2000-06-04added isabelle-verbatim;Makarius Wenzel
fixed proof-shell-pre-interrupt-hook: use isabelle-verbatim;
2000-06-01Remove spurious spacesDavid Aspinall
2000-05-31Commented out global-timing since it seems to be Isabelle99-1 specific.David Aspinall
2000-05-31Added old completion table from Isamode. Added code to automatically add ↵David Aspinall
completion for x-symbol tokens.
2000-05-30Added missing command terminators for proof-xsym commandsDavid Aspinall
2000-05-30handle 'isa-x-symbol-enable vs. 'isar-x-symbol-enable;Makarius Wenzel
2000-05-30defpacustom global-timing;Makarius Wenzel
2000-05-29DocstringDavid Aspinall
2000-05-29Remove isar-markup-ml from hereDavid Aspinall
2000-05-29Generalized proof assistant settings mechanismDavid Aspinall
2000-05-29Add explicit terminators to commands. Generalized isabelle-set-default-cmd.David Aspinall
2000-05-29Additions to font lock on outputDavid Aspinall
2000-05-26proof-defass-default -> defpgdefaultDavid Aspinall
2000-05-25Patch for synchronization problem in Coq, perhaps others.David Aspinall
2000-05-18Goals.enable/disable_pr: improved version for Isabelle99-1 (commented out);Makarius Wenzel
2000-05-17added show-consts, long-names;Makarius Wenzel
improved isar-markup-ml;
2000-05-16Move setting of proof-shell-pre-interrupt-hook to isabelle-system.elDavid Aspinall
2000-05-16Missing quoteDavid Aspinall
2000-05-12Fixup menus a bit. Remove proof-prf on options change.David Aspinall
2000-05-12Remove proof-assistant-menu-entries, done generically now.David Aspinall
2000-05-12Several name changes isa- -> isabelle-, and made generic for IsarDavid Aspinall
2000-05-12CommentsDavid Aspinall
2000-05-12Fix to menu definition.David Aspinall
2000-05-11Generic help menu for Isabelle and Isabelle/Isar added.David Aspinall
Generalized option settings mechanism. Added simplifier tracing flag.
2000-05-11Moved generic settings to isabelle-system.el. ↵David Aspinall
isa-set-default-cmd->isabelle-set..
2000-05-09Note about desirable additions to IsabelleDavid Aspinall
2000-05-09New goal.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 14:31:07 +0000