aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* added lemma;Gravatar Makarius Wenzel2005-09-01
* example theory involving unicode characters (utf-8 encoding);Gravatar Makarius Wenzel2005-09-01
* renamed thms_containing to find_theorems;Gravatar Makarius Wenzel2005-09-01
* special regexps: include PGASCII version;Gravatar Makarius Wenzel2005-09-01
* special regexps: include PGASCII version;Gravatar Makarius Wenzel2005-09-01
* tuned ML code for manipulating print_mode;Gravatar Makarius Wenzel2005-09-01
* tuned ML code for manipulating print_mode;Gravatar Makarius Wenzel2005-09-01
* moved pg-special-char-regexp to proof-config.el;Gravatar Makarius Wenzel2005-09-01
* added proof-search-forward, proof-replace-regexp-in-string;Gravatar Makarius Wenzel2005-09-01
* eager message: perform pg-remove-specials-in-string after pg-assoc-strip-subt...Gravatar Makarius Wenzel2005-09-01
* added pg-special-char-regexp (used to be a constant in proof-utils.el);Gravatar Makarius Wenzel2005-09-01
* prefer emacs over xemacs, which rarely works out of the box;Gravatar Makarius Wenzel2005-08-30
* added isar-font-lock-local: \<^loc> (needs x-symbol setup for x-invisible-face);Gravatar Makarius Wenzel2005-08-26
* proof-defshortcut isar-local: \<^loc>;Gravatar Makarius Wenzel2005-08-26
* made ASCII backquote (`) alternative string delimiter;Gravatar Makarius Wenzel2005-08-26
* isar-goals-font-lock-keywords: calculation;Gravatar Makarius Wenzel2005-08-18
* isatool fixheaders;Gravatar Makarius Wenzel2005-08-18
* obsolete;Gravatar Makarius Wenzel2005-08-18
* Fix lego-shell-adjust-line-width for mutliple frame mode.Gravatar David Aspinall2005-08-14
* Fix plastic-shell-adjust-line-width for mutliple frame mode.Gravatar David Aspinall2005-08-14
* Fix isar-shell-adjust-line-width for mutliple frame mode.Gravatar David Aspinall2005-08-14
* Set version tag for new release.Gravatar David Aspinall2005-08-10
* Updated.Gravatar David Aspinall2005-08-10
* Include proofgeneral.1 target. Fix make->(MAKE)Gravatar David Aspinall2005-08-10
* Update yearGravatar David Aspinall2005-08-10
* Updated.Gravatar David Aspinall2005-08-10
* Fix to help menu from Timothy BourkeGravatar David Aspinall2005-08-10
* Move some keybindings from script mode to universal keysGravatar David Aspinall2005-08-10
* Documentation.Gravatar David Aspinall2005-08-09
* next-error-regexp seems to have broken; fix it against current Isabelle CVS.Gravatar David Aspinall2005-08-09
* proof-defshortcut isar-bold;Gravatar Makarius Wenzel2005-08-08
* Resolve buffer for background resolution prover (Claire Quigley)Gravatar David Aspinall2005-07-27
* tuned;Gravatar Makarius Wenzel2005-07-19
* Try to avoid packaging elcs inadvertentlyGravatar David Aspinall2005-07-15
* Add proof-general-version-yearGravatar David Aspinall2005-07-15
* fix tar arg orderGravatar David Aspinall2005-07-15
* Set version tag for new release.Gravatar David Aspinall2005-07-15
* Tweak headers for FC4 buildGravatar David Aspinall2005-07-15
* Fix distclean to remove x-symbol elc filesGravatar David Aspinall2005-07-15
* Missing proof-compat in proof-splashGravatar David Aspinall2005-07-15
* Update to match desktop entry spec 0.9.4Gravatar David Aspinall2005-07-15
* Add alpha to fit modern themesGravatar David Aspinall2005-07-15
* Tweaks according to menu-spec-0.9, desktop-entry-spect 0.9.4Gravatar David Aspinall2005-07-15
* Updated.Gravatar David Aspinall2005-07-15
* *** empty log message ***Gravatar Christophe Raffalli2005-07-05
* *** empty log message ***Gravatar Christophe Raffalli2005-07-05
* tuned isar-goals-font-lock-keywords;Gravatar Makarius Wenzel2005-06-26
* more general goal pattern;Gravatar Makarius Wenzel2005-06-24
* Set version tag for new release.Gravatar David Aspinall2005-06-02
* Update FAQ #1Gravatar David Aspinall2005-06-02
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-08 23:24:39 +0000