aboutsummaryrefslogtreecommitdiff
path: root/isa
AgeCommit message (Collapse)Author
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
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 -> ↵David Aspinall
proof-shell-filename-escapes, and always apply for filename substn.
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-13New/updated information filesDavid Aspinall
2000-03-10DocstringsDavid Aspinall
2000-03-10Added menu item to switch to script buffer, C-c C-o key.David Aspinall
2000-03-09Updated headers.David Aspinall
2000-03-09UpdatedDavid Aspinall
2000-03-09Added README files for each prover, summarizing status.David Aspinall
2000-03-08Split low-level todo into several files.David Aspinall
2000-02-23tuned electric-ignore;Makarius Wenzel
2000-02-15fix electric-ignore (due to DvO);Makarius Wenzel
2000-02-11option -x: enable x-symbol package;Makarius Wenzel
2000-02-10setup proof-shell-pre-interrupt-hook for Poly/ML;Makarius Wenzel
2000-02-07fixed proof-shell-error-regexp;Makarius Wenzel
2000-01-12CommentsDavid Aspinall
2000-01-06Fixes for short output duplication problem: set ↵David Aspinall
proof-shell-eager-annotation-start-length.
1999-11-29Change SML minor mode binding to C-c C-m, avoiding clash withDavid Aspinall
proof-interrupt-process. Add commands from proof-universal-keys to menu, and add all of proof-shared-menu.
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-24Made thy-indent-level a user opt.David Aspinall
1999-11-23Patch to proof-shell-proof-completed-regexp to prevent overflow, sent by MarkusDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 06:49:42 +0000