aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
pg-after-fontify-output-hook: always do pg-remove-specials;
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-09-01moved pg-special-char-regexp to proof-config.el;Makarius Wenzel
added pg-remove-specials-in-string;
2005-09-01added proof-search-forward, proof-replace-regexp-in-string;Makarius Wenzel
avoid (re-)search-forward, which does not observe proof-case-fold-search;
2005-09-01eager message: perform pg-remove-specials-in-string after ↵Makarius Wenzel
pg-assoc-strip-subterm-markup;
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
2005-08-09next-error-regexp seems to have broken; fix it against current Isabelle CVS.David Aspinall
2005-08-08proof-defshortcut isar-bold;Makarius Wenzel
2005-07-27Resolve buffer for background resolution prover (Claire Quigley)David Aspinall
2005-07-19tuned;Makarius Wenzel
2005-07-15Try to avoid packaging elcs inadvertentlyDavid Aspinall
2005-07-15Add proof-general-version-yearDavid Aspinall
2005-07-15fix tar arg orderDavid Aspinall
2005-07-15Set version tag for new release.David Aspinall
2005-07-15Tweak headers for FC4 buildDavid Aspinall
2005-07-15Fix distclean to remove x-symbol elc filesDavid Aspinall
2005-07-15Missing proof-compat in proof-splashDavid Aspinall
2005-07-15Update to match desktop entry spec 0.9.4David Aspinall
2005-07-15Add alpha to fit modern themesDavid Aspinall
2005-07-15Tweaks according to menu-spec-0.9, desktop-entry-spect 0.9.4David Aspinall
2005-07-15Updated.David Aspinall
2005-07-05*** empty log message ***Christophe Raffalli
2005-07-05*** empty log message ***Christophe Raffalli
2005-06-26tuned isar-goals-font-lock-keywords;Makarius Wenzel
2005-06-24more general goal pattern;Makarius Wenzel
2005-06-02Set version tag for new release.David Aspinall
2005-06-02Update FAQ #1David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-11 05:18:20 +0000