aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa
Commit message (Expand)AuthorAge
* Removed disable of simp tracing from enable/disable pr, desired functionality...Gravatar David Aspinall2000-06-07
* improved isabelle-verbatim-regexp: use \` \' instead of ^ $;Gravatar Makarius Wenzel2000-06-05
* Added proof-next-error to menu.Gravatar David Aspinall2000-06-05
* Added settings for proof-next-error.Gravatar David Aspinall2000-06-05
* fixed output syntax table;Gravatar Makarius Wenzel2000-06-05
* replaced isa-verbatim by isabelle-verbatim;Gravatar Makarius Wenzel2000-06-04
* added isabelle-verbatim;Gravatar Makarius Wenzel2000-06-04
* Remove spurious spacesGravatar David Aspinall2000-06-01
* Commented out global-timing since it seems to be Isabelle99-1 specific.Gravatar David Aspinall2000-05-31
* Added old completion table from Isamode. Added code to automatically add com...Gravatar David Aspinall2000-05-31
* Added missing command terminators for proof-xsym commandsGravatar David Aspinall2000-05-30
* handle 'isa-x-symbol-enable vs. 'isar-x-symbol-enable;Gravatar Makarius Wenzel2000-05-30
* defpacustom global-timing;Gravatar Makarius Wenzel2000-05-30
* DocstringGravatar David Aspinall2000-05-29
* Remove isar-markup-ml from hereGravatar David Aspinall2000-05-29
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-04 21:57:01 +0000