aboutsummaryrefslogtreecommitdiff
path: root/isa
AgeCommit message (Collapse)Author
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
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 06:22:24 +0000