aboutsummaryrefslogtreecommitdiff
path: root/isa/isa.el
AgeCommit message (Expand)Author
2000-06-07Removed disable of simp tracing from enable/disable pr, desired functionality...David Aspinall
2000-06-05Added settings for proof-next-error.David Aspinall
2000-05-31Added old completion table from Isamode. Added code to automatically add com...David Aspinall
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. isa-set-default-cmd->isabelle-s...David 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-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
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
2000-03-23Updated Isabelle home page.David Aspinall
2000-03-22Switch back to %s, rename proof-shell-string-escapes -> proof-shell-filename-...David Aspinall
2000-03-22Fix other file commands to use %e substitution.David Aspinall
2000-03-22Use new format character %s to %e to cope with nasty filenames with backslashes.David Aspinall
2000-03-22transparent cd;Makarius Wenzel
2000-03-19Added settings for silent control.David Aspinall
2000-03-10DocstringsDavid Aspinall
2000-02-07fixed proof-shell-error-regexp;Makarius Wenzel
2000-01-12CommentsDavid Aspinall
2000-01-06Fixes for short output duplication problem: set proof-shell-eager-annotation-...David Aspinall
1999-11-29Add universal keys to theory modeDavid Aspinall
1999-11-26Fix to proof-shell-proof-completed-regexp by reverting to previous version.David Aspinall
1999-11-23Patch to proof-shell-proof-completed-regexp to prevent overflow, sent by MarkusDavid Aspinall
1999-11-18Failed attempt to trap C-g during try-update-thy. Left as comments.David Aspinall
1999-11-17Remove some obsolete/unecessary stuff.David Aspinall
1999-11-16Cleanups and a bit more highlightingDavid Aspinall
1999-11-16Matching goals regexp. Comments.David Aspinall
1999-11-15Removed font-lock settings. Set proof-font-lock-zap-commas=tDavid Aspinall
1999-11-14Many robustness improvements for error and interrupt handling:David Aspinall
1999-11-14proof-nested-goals-allowed -> proof-completed-proof-behaviourDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:27:19 +0000