aboutsummaryrefslogtreecommitdiff
path: root/isa/isa.el
AgeCommit message (Collapse)Author
2001-09-03Add settings for testing trace buffers.David Aspinall
2001-08-31Add setting for turning on theorem dependency trackingDavid Aspinall
2001-01-12proof-string-match;Makarius Wenzel
2001-01-12Fix loading thy mode fist problem: require proof-script since contextDavid Aspinall
menus are now added for response/goals buffer, which requires proof mode.
2000-09-27Dont use customize-set-variable for add splash logoDavid Aspinall
2000-09-17silent-cmd and init-cmd: activate Isabelle99-1 versions;Makarius Wenzel
2000-08-28Added setting for proof-shell-set-elisp-variable-regexpDavid Aspinall
2000-08-28cd command: add_path;Makarius Wenzel
2000-08-02added isa-preprocessing;Makarius Wenzel
2000-07-20Remove accidental testing setq left in.David Aspinall
2000-07-19experiments with theorem dependenciesDavid Aspinall
2000-07-19reverting to last versionDavid Aspinall
2000-07-19file for theorem dependenciesfionam
2000-07-08proof-prog-name: use isabelle-command-line;Makarius Wenzel
2000-07-05Fix to make back() undoable.David Aspinall
2000-06-27TidyDavid Aspinall
2000-06-16proper indentation setup;Makarius Wenzel
2000-06-16Tuned x-symbol config, moved settings to isabelle-system.elDavid Aspinall
2000-06-15First attempt at using new indentation for Isabelle. Utterly broken.David Aspinall
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-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-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-29Add explicit terminators to commands. Generalized isabelle-set-default-cmd.David 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-12Remove proof-assistant-menu-entries, done generically now.David Aspinall
2000-05-12CommentsDavid Aspinall
2000-05-11Moved generic settings to isabelle-system.el. ↵David Aspinall
isa-set-default-cmd->isabelle-set..
2000-05-09Merged from 3.1.5David Aspinall
2000-05-05Comment.David Aspinall
2000-05-05isa-system.el -> isabelle-system.elDavid Aspinall
2000-05-05New code in isa-system.el.David Aspinall
2000-05-05Default to isa-mode or isar-mode according to first one invoked.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-05improved print_mode switch;Makarius Wenzel
2000-04-04Added provisional commands for enabling/disabling printing.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
2000-03-24Do need to strip drive name as Jacques discovered.David Aspinall
2000-03-24Fix name of win32-long-file-name used as check.David Aspinall
2000-03-24Quoted backslashes.David Aspinall
2000-03-24Sensible default for Windows invoking IsabelleDavid Aspinall
2000-03-24Attempt to fix filename mess for Windows.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 09:07:55 +0000