aboutsummaryrefslogtreecommitdiff
path: root/isa/isa.el
AgeCommit message (Expand)Author
2004-02-08Update email and web addressesDavid Aspinall
2003-02-22Move x-sym config to x-symbol-isa.elDavid Aspinall
2003-02-16Add backwards compatibility for old pre-PGIP settings mechanismDavid Aspinall
2002-11-20Make proof-assistants-settings-cmd be evaluated at right time.David Aspinall
2002-11-18Add proof-shell-issue-pgip-cmd using ProofGeneral.process_pgip.David Aspinall
2002-11-08Add trigger for <pgip messagesDavid Aspinall
2002-08-29Remove isabelle image from splash screenDavid Aspinall
2002-08-29New theorem deps settingsDavid Aspinall
2002-08-27proper setup for theorem dependencies;Makarius Wenzel
2002-08-16Add span menu for thm_depsDavid Aspinall
2002-08-16Variable name changeDavid Aspinall
2002-08-12Enable variable highlighting in case experimental features enabled.David Aspinall
2002-08-08Simplify theorem dep / Isabelle patch loadingDavid Aspinall
2002-08-08Set proof-shell-show-dependency-cmdDavid Aspinall
2002-08-08proof-splash-display-image -> proof-get-image; generalise for xpm images.David Aspinall
2002-07-19Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...David Aspinall
2002-07-18Fix active variable highlighting in Isabelle with X-Symbol.David Aspinall
2002-07-17Support subterm help facility (not quite working)David Aspinall
2002-07-16Refactor several variable names; clean up, doc subterm markup and output disp...David Aspinall
2002-06-24Fix commentDavid Aspinall
2002-06-21GPL updateDavid Aspinall
2002-04-23Fix for E21 with isa-pre-shell-start.David Aspinall
2002-01-16Set proof-shell-trace-output-regexp in proof-pre-shell-start-hookDavid Aspinall
2002-01-16Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexpDavid Aspinall
2002-01-16Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexpDavid Aspinall
2001-09-03Add settings for testing trace buffers.David Aspinall
2001-08-31Add setting for turning on theorem dependency trackingDavid Aspinall
2001-01-12proof-string-match;Makarius Wenzel
2001-01-12Fix loading thy mode fist problem: require proof-script since contextDavid Aspinall
2000-09-27Dont use customize-set-variable for add splash logoDavid Aspinall
2000-09-17silent-cmd and init-cmd: activate Isabelle99-1 versions;Makarius Wenzel
2000-08-28Added setting for proof-shell-set-elisp-variable-regexpDavid Aspinall
2000-08-28cd command: add_path;Makarius Wenzel
2000-08-02added isa-preprocessing;Makarius Wenzel
2000-07-20Remove accidental testing setq left in.David Aspinall
2000-07-19experiments with theorem dependenciesDavid Aspinall
2000-07-19reverting to last versionDavid Aspinall
2000-07-19file for theorem dependenciesfionam
2000-07-08proof-prog-name: use isabelle-command-line;Makarius Wenzel
2000-07-05Fix to make back() undoable.David Aspinall
2000-06-27TidyDavid Aspinall
2000-06-16proper indentation setup;Makarius Wenzel
2000-06-16Tuned x-symbol config, moved settings to isabelle-system.elDavid Aspinall
2000-06-15First attempt at using new indentation for Isabelle. Utterly broken.David Aspinall
2000-06-08adapted to new indentation setup;Makarius Wenzel
2000-06-07Removed disable of simp tracing from enable/disable pr, desired functionality...David Aspinall
2000-06-05Added settings for proof-next-error.David Aspinall
2000-05-31Added old completion table from Isamode. Added code to automatically add com...David Aspinall
2000-05-30Added missing command terminators for proof-xsym commandsDavid Aspinall
2000-05-29Add explicit terminators to commands. Generalized isabelle-set-default-cmd.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-21 04:28:26 +0000