aboutsummaryrefslogtreecommitdiff
path: root/isa
AgeCommit message (Collapse)Author
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
2000-05-09New fileDavid Aspinall
2000-05-09Merged from 3.1.5David Aspinall
2000-05-05Comment.David Aspinall
2000-05-05isa-system.el -> isabelle-system.elDavid Aspinall
2000-05-05Renamed fileDavid Aspinall
2000-05-05Expanded menuDavid Aspinall
2000-05-05New code in isa-system.el.David Aspinall
2000-05-05New file for interfacing with Isabelle system.David Aspinall
2000-05-05Default to isa-mode or isar-mode according to first one invoked.David Aspinall
2000-05-02Added proof-assistant-keymap and commands for defining insert keys.David Aspinall
2000-05-01Added specific menu for Isabelle (early version)David Aspinall
2000-04-25Revert to indended fix for isa-retract-thy-file.David Aspinall
2000-04-17fixed isa-retract-thy-file: pass theory name only;Makarius Wenzel
fixed some comments;
2000-04-07Tweak to disable_pr function to allow for it being called twice (why?).David Aspinall
2000-04-07pbp-mode -> goals-modeDavid Aspinall
2000-04-07Fixed up proof-shell-proof-completed mess nicely.David Aspinall
2000-04-06tuned \<bottom>;Makarius Wenzel
added \<lbrace>, \<rbrace>, \<top>;
2000-04-05tuned todo stuff;Makarius Wenzel
2000-04-05improved print_mode switch;Makarius Wenzel
2000-04-04Added provisional commands for enabling/disabling printing.David Aspinall
2000-04-04Save as Example.ML, except using X-Symbol input tokens.David Aspinall
2000-04-04Fix accidently introduced bug with passing full paths to theory loader.David Aspinall
2000-03-24Removed pg_saved_gl which was for testing.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-09 13:47:00 +0000