aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa
Commit message (Collapse)AuthorAge
* First attempt at using new indentation for Isabelle. Utterly broken.Gravatar David Aspinall2000-06-15
|
* fixed show_sorts;Gravatar Makarius Wenzel2000-06-09
|
* adapted to new indentation setup;Gravatar Makarius Wenzel2000-06-08
|
* Removed disable of simp tracing from enable/disable pr, desired ↵Gravatar David Aspinall2000-06-07
| | | | functionality now in Isabelle's update_thy for PG
* 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
| | | | | Added switch off of simplifier tracing to quiet command (not good enough -- need help from Isabelle for that really).
* 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
| | | | fixed proof-shell-pre-interrupt-hook: use isabelle-verbatim;
* 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 ↵Gravatar David Aspinall2000-05-31
| | | | completion for x-symbol tokens.
* 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
| | | | improved isar-markup-ml;
* 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
| | | | | Generalized option settings mechanism. Added simplifier tracing flag.
* Moved generic settings to isabelle-system.el. ↵Gravatar David Aspinall2000-05-11
| | | | isa-set-default-cmd->isabelle-set..
* 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
| | | | fixed some comments;
* Tweak to disable_pr function to allow for it being called twice (why?).Gravatar David Aspinall2000-04-07
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 18:13:52 +0000