aboutsummaryrefslogtreecommitdiff
path: root/isa
AgeCommit message (Collapse)Author
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-01-24fixed spelling;Makarius Wenzel
2008-01-15Many compatibility updates, bug fixes, rearrangements for compilation.David Aspinall
2006-12-05New files.David Aspinall
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.
2006-02-13support nested blocks of super/sub-script, but only the outermost levelMakarius Wenzel
is actually displayed as such -- by Clemens Ballarin;
2006-01-05added \<setminus>;Makarius Wenzel
2005-09-30Remove proof-assistant-settings-cmd, now issued as standard.David Aspinall
2005-09-28old specials are recogized again;Makarius Wenzel
2005-09-28negotiate PGASCII only for proof-shell-unicode;Makarius Wenzel
2005-09-22Updated.David Aspinall
2005-09-22Updated.David Aspinall
2005-09-18better terminate ML code;Makarius Wenzel
2005-09-17removed (again) -- may use isar/interface -I false instead;Makarius Wenzel
2005-09-16removed obsolete ML code;Makarius Wenzel
2005-09-14oops -- proper customize-set-variable;Makarius Wenzel
2005-09-14removed 8bit special chars for isar;Makarius Wenzel
2005-09-14added -m PGASCII for Isabelle/Isar process;Makarius Wenzel
2005-09-14observe PROOFGENERAL_UNICODE as passed by interface script;Makarius Wenzel
2005-09-14added option -U: Unicode (UTF-8) communication;Makarius Wenzel
2005-09-02do not include leading space in parameter to isatool doc, i.e.Gerwin Klein
isatool doc "x" instead of isatool doc " x"
2005-09-01special regexps: include PGASCII version;Makarius Wenzel
2005-09-01tuned ML code for manipulating print_mode;Makarius Wenzel
2005-09-01tuned ML code for manipulating print_mode;Makarius Wenzel
isabelle-convert-idmarkup-to-subterm: proof-re-search-forward, tuned regexp;
2005-08-30prefer emacs over xemacs, which rarely works out of the box;Makarius Wenzel
2005-07-19tuned;Makarius Wenzel
2005-05-31use physical path;Makarius Wenzel
2005-05-17added -L option;Makarius Wenzel
tuned;
2005-05-10undeleted;Makarius Wenzel
2005-03-23Deleted fileDavid Aspinall
2005-03-23Changes from Clemens Ballarin for large X-Symbol fontsDavid Aspinall
2004-10-07Repaired fix suggested by Jonathan S. ShapiroDavid Aspinall
2004-10-05Include /usr/bin/isatool as a possibilityDavid Aspinall
2004-10-05Fix to `isa-shell-command-to-string' suggested by Jonathan S. ShapiroDavid Aspinall
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 ↵David Aspinall
for Isabelle.
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:19:57 +0000