aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2005-09-28Make robust against missing advice packageDavid Aspinall
2005-09-27Compatibility in proof-buffer-syntactic-context for XEmacs 21.5. Buffer tabs...David Aspinall
2005-09-27Shorter aux buffer namesDavid Aspinall
2005-09-22updated from pre-Isabelle2005;Makarius Wenzel
2005-09-22Set version tag for new release.David Aspinall
2005-09-22Updated.David Aspinall
2005-09-22Updated.David Aspinall
2005-09-22Addition from Tjark Weber for new commandsDavid Aspinall
2005-09-21Fix toolbar support on Mac OSX Carbon Emacs which has window-system="mac"David Aspinall
2005-09-21Updated.David Aspinall
2005-09-21New files.David Aspinall
2005-09-21Select EMACS based on xemacs if available, otherwise emacsDavid Aspinall
2005-09-21Set version tag for new release.David Aspinall
2005-09-21Fix PGHOMEDEFAULTDavid Aspinall
2005-09-21Tweak.David Aspinall
2005-09-21Add command menuDavid Aspinall
2005-09-21back to xemacs as default;Makarius Wenzel
2005-09-19I do not remember \!Christophe Raffalli
2005-09-18better terminate ML code;Makarius Wenzel
2005-09-17removed (again) -- may use isar/interface -I false instead;Makarius Wenzel
2005-09-17update examples for Isabelle2005;Makarius Wenzel
2005-09-17proof-shell-wakeup-char ?\^AMakarius Wenzel
2005-09-16removed obsolete ML code;Makarius Wenzel
2005-09-15added note for large x-symbols;Makarius Wenzel
2005-09-15Set version tag for new release.David Aspinall
2005-09-14tuned comment;Makarius Wenzel
2005-09-14oops -- proper customize-set-variable;Makarius Wenzel
2005-09-14removed 8bit special chars for isar;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-14refer to proof-shell-unicode for process-environment and coding-system;Makarius Wenzel
2005-09-14added proof-shell-unicode;Makarius Wenzel
2005-09-13tuned isar-goals-font-lock-keywords;Makarius Wenzel
2005-09-06tuned isar-keywords-theory-enclose;Makarius Wenzel
2005-09-02do not include leading space in parameter to isatool doc, i.e.Gerwin Klein
2005-09-01example output;Makarius Wenzel
2005-09-01added lemma;Makarius Wenzel
2005-09-01example theory involving unicode characters (utf-8 encoding);Makarius Wenzel
2005-09-01renamed thms_containing to find_theorems;Makarius Wenzel
2005-09-01special regexps: include PGASCII version;Makarius Wenzel
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
2005-09-01moved pg-special-char-regexp to proof-config.el;Makarius Wenzel
2005-09-01added proof-search-forward, proof-replace-regexp-in-string;Makarius Wenzel
2005-09-01eager message: perform pg-remove-specials-in-string after pg-assoc-strip-subt...Makarius Wenzel
2005-09-01added pg-special-char-regexp (used to be a constant in proof-utils.el);Makarius Wenzel
2005-08-30prefer emacs over xemacs, which rarely works out of the box;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 05:25:19 +0000