aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa/isa.el
Commit message (Collapse)AuthorAge
* Set comment-quote-nested (for Emacs/XEmacs 21.5)Gravatar David Aspinall2004-05-09
|
* Add proof-cannot-reopen-processed-files to fix behaviour of multiple files ↵Gravatar David Aspinall2004-04-17
| | | | for Isabelle.
* Update email and web addressesGravatar David Aspinall2004-02-08
|
* Move x-sym config to x-symbol-isa.elGravatar David Aspinall2003-02-22
|
* Add backwards compatibility for old pre-PGIP settings mechanismGravatar David Aspinall2003-02-16
|
* Make proof-assistants-settings-cmd be evaluated at right time.Gravatar David Aspinall2002-11-20
|
* Add proof-shell-issue-pgip-cmd using ProofGeneral.process_pgip.Gravatar David Aspinall2002-11-18
|
* Add trigger for <pgip messagesGravatar David Aspinall2002-11-08
|
* Remove isabelle image from splash screenGravatar David Aspinall2002-08-29
|
* New theorem deps settingsGravatar David Aspinall2002-08-29
|
* proper setup for theorem dependencies;Gravatar Makarius Wenzel2002-08-27
|
* Add span menu for thm_depsGravatar David Aspinall2002-08-16
|
* Variable name changeGravatar David Aspinall2002-08-16
|
* Enable variable highlighting in case experimental features enabled.Gravatar David Aspinall2002-08-12
|
* Simplify theorem dep / Isabelle patch loadingGravatar David Aspinall2002-08-08
|
* Set proof-shell-show-dependency-cmdGravatar David Aspinall2002-08-08
|
* proof-splash-display-image -> proof-get-image; generalise for xpm images.Gravatar David Aspinall2002-08-08
|
* Variable name change proof-comment-{start,end}-regexp -> ↵Gravatar David Aspinall2002-07-19
| | | | proof-script-comment-{start,end}-regexp.
* 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 ↵Gravatar David Aspinall2002-07-16
| | | | display.
* 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
| | | | menus are now added for response/goals buffer, which requires proof mode.
* 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 ↵Gravatar David Aspinall2000-06-07
| | | | functionality now in Isabelle's update_thy for PG
* 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).
* Added old completion table from Isamode. Added code to automatically add ↵Gravatar David Aspinall2000-05-31
| | | | completion for x-symbol tokens.