aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa/isa.el
Commit message (Expand)AuthorAge
* proof-splash-display-image -> proof-get-image; generalise for xpm images.Gravatar David Aspinall2002-08-08
* Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...Gravatar David Aspinall2002-07-19
* Fix active variable highlighting in Isabelle with X-Symbol.Gravatar David Aspinall2002-07-18
* Support subterm help facility (not quite working)Gravatar David Aspinall2002-07-17
* Refactor several variable names; clean up, doc subterm markup and output disp...Gravatar David Aspinall2002-07-16
* Fix commentGravatar David Aspinall2002-06-24
* GPL updateGravatar David Aspinall2002-06-21
* Fix for E21 with isa-pre-shell-start.Gravatar David Aspinall2002-04-23
* Set proof-shell-trace-output-regexp in proof-pre-shell-start-hookGravatar David Aspinall2002-01-16
* Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexpGravatar David Aspinall2002-01-16
* Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexpGravatar David Aspinall2002-01-16
* Add settings for testing trace buffers.Gravatar David Aspinall2001-09-03
* Add setting for turning on theorem dependency trackingGravatar David Aspinall2001-08-31
* proof-string-match;Gravatar Makarius Wenzel2001-01-12
* Fix loading thy mode fist problem: require proof-script since contextGravatar David Aspinall2001-01-12
* Dont use customize-set-variable for add splash logoGravatar David Aspinall2000-09-27
* silent-cmd and init-cmd: activate Isabelle99-1 versions;Gravatar Makarius Wenzel2000-09-17
* Added setting for proof-shell-set-elisp-variable-regexpGravatar David Aspinall2000-08-28
* cd command: add_path;Gravatar Makarius Wenzel2000-08-28
* added isa-preprocessing;Gravatar Makarius Wenzel2000-08-02
* Remove accidental testing setq left in.Gravatar David Aspinall2000-07-20
* experiments with theorem dependenciesGravatar David Aspinall2000-07-19
* reverting to last versionGravatar David Aspinall2000-07-19
* file for theorem dependenciesGravatar fionam2000-07-19
* proof-prog-name: use isabelle-command-line;Gravatar Makarius Wenzel2000-07-08
* Fix to make back() undoable.Gravatar David Aspinall2000-07-05
* TidyGravatar David Aspinall2000-06-27
* proper indentation setup;Gravatar Makarius Wenzel2000-06-16
* Tuned x-symbol config, moved settings to isabelle-system.elGravatar David Aspinall2000-06-16
* First attempt at using new indentation for Isabelle. Utterly broken.Gravatar David Aspinall2000-06-15
* adapted to new indentation setup;Gravatar Makarius Wenzel2000-06-08
* Removed disable of simp tracing from enable/disable pr, desired functionality...Gravatar David Aspinall2000-06-07
* Added settings for proof-next-error.Gravatar David Aspinall2000-06-05
* 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
* Add explicit terminators to commands. Generalized isabelle-set-default-cmd.Gravatar David Aspinall2000-05-29
* 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
* Remove proof-assistant-menu-entries, done generically now.Gravatar David Aspinall2000-05-12
* CommentsGravatar David Aspinall2000-05-12
* Moved generic settings to isabelle-system.el. isa-set-default-cmd->isabelle-s...Gravatar David Aspinall2000-05-11
* 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
* New code in isa-system.el.Gravatar David Aspinall2000-05-05
* Default to isa-mode or isar-mode according to first one invoked.Gravatar David Aspinall2000-05-05
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 03:49:05 +0000