aboutsummaryrefslogtreecommitdiff
path: root/isa/isa.el
AgeCommit message (Collapse)Author
2006-12-05Deleted fileDavid Aspinall
2006-04-26Changed the type of proof-goal-command-p. It takes now a span, whichPierre Courtieu
allows using a span attribute to detect goal commands. I think I modified all modes accordingly.
2005-09-30Remove proof-assistant-settings-cmd, now issued as standard.David Aspinall
2004-05-09Set comment-quote-nested (for Emacs/XEmacs 21.5)David Aspinall
2004-04-17Add proof-cannot-reopen-processed-files to fix behaviour of multiple files ↵David Aspinall
for Isabelle.
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 -> ↵David Aspinall
proof-script-comment-{start,end}-regexp.
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 ↵David Aspinall
display.
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
menus are now added for response/goals buffer, which requires proof mode.
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:48:44 +0000