aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa
Commit message (Expand)AuthorAge
* Generalized proof assistant settings mechanismGravatar David Aspinall2000-05-29
* Add explicit terminators to commands. Generalized isabelle-set-default-cmd.Gravatar David Aspinall2000-05-29
* Additions to font lock on outputGravatar David Aspinall2000-05-29
* proof-defass-default -> defpgdefaultGravatar David Aspinall2000-05-26
* Patch for synchronization problem in Coq, perhaps others.Gravatar David Aspinall2000-05-25
* Goals.enable/disable_pr: improved version for Isabelle99-1 (commented out);Gravatar Makarius Wenzel2000-05-18
* added show-consts, long-names;Gravatar Makarius Wenzel2000-05-17
* Move setting of proof-shell-pre-interrupt-hook to isabelle-system.elGravatar David Aspinall2000-05-16
* Missing quoteGravatar David Aspinall2000-05-16
* Fixup menus a bit. Remove proof-prf on options change.Gravatar David Aspinall2000-05-12
* Remove proof-assistant-menu-entries, done generically now.Gravatar David Aspinall2000-05-12
* Several name changes isa- -> isabelle-, and made generic for IsarGravatar David Aspinall2000-05-12
* CommentsGravatar David Aspinall2000-05-12
* Fix to menu definition.Gravatar David Aspinall2000-05-12
* Generic help menu for Isabelle and Isabelle/Isar added.Gravatar David Aspinall2000-05-11
* Moved generic settings to isabelle-system.el. isa-set-default-cmd->isabelle-s...Gravatar David Aspinall2000-05-11
* Note about desirable additions to IsabelleGravatar David Aspinall2000-05-09
* New goal.Gravatar David Aspinall2000-05-09
* New fileGravatar David Aspinall2000-05-09
* Merged from 3.1.5Gravatar David Aspinall2000-05-09
* Comment.Gravatar David Aspinall2000-05-05
* isa-system.el -> isabelle-system.elGravatar David Aspinall2000-05-05
* Renamed fileGravatar David Aspinall2000-05-05
* Expanded menuGravatar David Aspinall2000-05-05
* New code in isa-system.el.Gravatar David Aspinall2000-05-05
* New file for interfacing with Isabelle system.Gravatar David Aspinall2000-05-05
* Default to isa-mode or isar-mode according to first one invoked.Gravatar David Aspinall2000-05-05
* Added proof-assistant-keymap and commands for defining insert keys.Gravatar David Aspinall2000-05-02
* Added specific menu for Isabelle (early version)Gravatar David Aspinall2000-05-01
* Revert to indended fix for isa-retract-thy-file.Gravatar David Aspinall2000-04-25
* fixed isa-retract-thy-file: pass theory name only;Gravatar Makarius Wenzel2000-04-17
* Tweak to disable_pr function to allow for it being called twice (why?).Gravatar David Aspinall2000-04-07
* pbp-mode -> goals-modeGravatar David Aspinall2000-04-07
* Fixed up proof-shell-proof-completed mess nicely.Gravatar David Aspinall2000-04-07
* tuned \<bottom>;Gravatar Makarius Wenzel2000-04-06
* tuned todo stuff;Gravatar Makarius Wenzel2000-04-05
* improved print_mode switch;Gravatar Makarius Wenzel2000-04-05
* Added provisional commands for enabling/disabling printing.Gravatar David Aspinall2000-04-04
* Save as Example.ML, except using X-Symbol input tokens.Gravatar David Aspinall2000-04-04
* Fix accidently introduced bug with passing full paths to theory loader.Gravatar David Aspinall2000-04-04
* Removed pg_saved_gl which was for testing.Gravatar David Aspinall2000-03-24
* Do need to strip drive name as Jacques discovered.Gravatar David Aspinall2000-03-24
* Fix name of win32-long-file-name used as check.Gravatar David Aspinall2000-03-24
* Quoted backslashes.Gravatar David Aspinall2000-03-24
* Sensible default for Windows invoking IsabelleGravatar David Aspinall2000-03-24
* Attempt to fix filename mess for Windows.Gravatar David Aspinall2000-03-24
* Updated Isabelle home page.Gravatar David Aspinall2000-03-23
* Switch back to %s, rename proof-shell-string-escapes -> proof-shell-filename-...Gravatar David Aspinall2000-03-22
* Fix other file commands to use %e substitution.Gravatar David Aspinall2000-03-22
* Use new format character %s to %e to cope with nasty filenames with backslashes.Gravatar David Aspinall2000-03-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-04 17:53:10 +0000