aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2005-08-26added isar-font-lock-local: \<^loc> (needs x-symbol setup for x-invisible-face);Makarius Wenzel
2005-08-26proof-defshortcut isar-local: \<^loc>;Makarius Wenzel
2005-08-26made ASCII backquote (`) alternative string delimiter;Makarius Wenzel
2005-08-18isar-goals-font-lock-keywords: calculation;Makarius Wenzel
2005-08-18isatool fixheaders;Makarius Wenzel
2005-08-18obsolete;Makarius Wenzel
2005-08-14Fix lego-shell-adjust-line-width for mutliple frame mode.David Aspinall
2005-08-14Fix plastic-shell-adjust-line-width for mutliple frame mode.David Aspinall
2005-08-14Fix isar-shell-adjust-line-width for mutliple frame mode.David Aspinall
2005-08-10Set version tag for new release.David Aspinall
2005-08-10Updated.David Aspinall
2005-08-10Include proofgeneral.1 target. Fix make->(MAKE)David Aspinall
2005-08-10Update yearDavid Aspinall
2005-08-10Updated.David Aspinall
2005-08-10Fix to help menu from Timothy BourkeDavid Aspinall
2005-08-10Move some keybindings from script mode to universal keysDavid Aspinall
2005-08-09Documentation.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-17 05:18:02 +0000