aboutsummaryrefslogtreecommitdiff
path: root/isa
AgeCommit message (Expand)Author
2004-05-09Set comment-quote-nested (for Emacs/XEmacs 21.5)David Aspinall
2004-05-06Patch from Brother MakariusDavid Aspinall
2004-04-17Updated.David Aspinall
2004-04-17Fix isa-tool-list-docs for altered form of output from isatool docDavid Aspinall
2004-04-17Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo...David Aspinall
2004-04-16Add automatic refresh of Logics menuDavid Aspinall
2004-04-15Remove title settingDavid Aspinall
2004-04-15Remove commentDavid Aspinall
2004-04-14Set supported versions of Isabelle (remove 99, 2002 versions).David Aspinall
2004-04-14Updated.David Aspinall
2004-04-13Comment.David Aspinall
2004-04-13Fix comment.David Aspinall
2004-04-13Fix long-lived typo in setting auto-mode-alist.David Aspinall
2004-04-05fixed single char sub/super script in goals/response windowGerwin Klein
2004-04-02CommentsDavid Aspinall
2004-02-08Update email and web addressesDavid Aspinall
2003-12-29spanning sub/super scripts \<^bsub> .. \<^esub> and \<^bsup> .. \<^esup>Gerwin Klein
2003-12-23removed bold, no longer supported by x-symbolGerwin Klein
2003-12-23more cleanup of sub/superscript, removed duplicate subscript-matcherGerwin Klein
2003-10-16allow sub/super scripts in identifiers (\<^isub> and \<^isup>)Gerwin Klein
2003-05-23Add a location under HOME to search path for isatoolDavid Aspinall
2003-04-12Updated by Gerwin to remove some X-Symbol loadingDavid Aspinall
2003-04-05CommentsDavid Aspinall
2003-03-05Tweaks to auto-style; remove x-symbol-set-cache-variable because breaks compileDavid Aspinall
2003-03-05Add function to parse consts part of syntax outputDavid Aspinall
2003-03-03Improved version from Gerwin Klein/Christoph Wedler; simplified auto-mode-sty...David Aspinall
2003-02-24Fix some compile errorsDavid Aspinall
2003-02-22auto-coding-alistDavid Aspinall
2003-02-22New files.David Aspinall
2003-02-22Move x-sym config to x-symbol-isa.elDavid Aspinall
2003-02-22Experiments with auto-styleDavid Aspinall
2003-02-16Add backwards compatibility for old pre-PGIP settings mechanismDavid Aspinall
2003-02-15Updated.David Aspinall
2003-02-15Towards isabelle-refresh-logicsDavid Aspinall
2002-12-29Fix use of replace-regexp-in-stringDavid Aspinall
2002-11-28Documentation.David Aspinall
2002-11-21markup ml for IsarDavid Aspinall
2002-11-20Make proof-assistants-settings-cmd be evaluated at right time.David Aspinall
2002-11-20Improve isabelle-choose-logic, and make it clear preferences. Remove all def...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-09-11Adjust comment about selecting PG/Isar.David Aspinall
2002-08-29Remove isabelle image from splash screenDavid Aspinall
2002-08-29Search for isabelle binary in standard places.David Aspinall
2002-08-29Dependencies classed as experimental.David Aspinall
2002-08-29Updated.David Aspinall
2002-08-29New theorem deps settingsDavid Aspinall
2002-08-28Add missing semicolon.David Aspinall
2002-08-28Deleted fileDavid Aspinall
2002-08-27proper setup for theorem dependencies;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:36:36 +0000