Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Set version tag for new release. | David Aspinall | 2005-09-21 |
| | |||
* | Fix PGHOMEDEFAULT | David Aspinall | 2005-09-21 |
| | |||
* | Tweak. | David Aspinall | 2005-09-21 |
| | |||
* | Add command menu | David Aspinall | 2005-09-21 |
| | |||
* | back to xemacs as default; | Makarius Wenzel | 2005-09-21 |
| | |||
* | I do not remember \! | Christophe Raffalli | 2005-09-19 |
| | |||
* | better terminate ML code; | Makarius Wenzel | 2005-09-18 |
| | |||
* | removed (again) -- may use isar/interface -I false instead; | Makarius Wenzel | 2005-09-17 |
| | |||
* | update examples for Isabelle2005; | Makarius Wenzel | 2005-09-17 |
| | |||
* | proof-shell-wakeup-char ?\^A | Makarius Wenzel | 2005-09-17 |
| | |||
* | removed obsolete ML code; | Makarius Wenzel | 2005-09-16 |
| | |||
* | added note for large x-symbols; | Makarius Wenzel | 2005-09-15 |
| | | | | added proof-shell-unicode; | ||
* | Set version tag for new release. | David Aspinall | 2005-09-15 |
| | |||
* | tuned comment; | Makarius Wenzel | 2005-09-14 |
| | |||
* | oops -- proper customize-set-variable; | Makarius Wenzel | 2005-09-14 |
| | |||
* | removed 8bit special chars for isar; | Makarius Wenzel | 2005-09-14 |
| | | | | | removed unused Pbp setup; removed 'isabelle-convert-idmarkup-to-subterm, which expects 8bit specials; | ||
* | removed 8bit special chars for isar; | Makarius Wenzel | 2005-09-14 |
| | |||
* | added -m PGASCII for Isabelle/Isar process; | Makarius Wenzel | 2005-09-14 |
| | |||
* | observe PROOFGENERAL_UNICODE as passed by interface script; | Makarius Wenzel | 2005-09-14 |
| | |||
* | added option -U: Unicode (UTF-8) communication; | Makarius Wenzel | 2005-09-14 |
| | |||
* | refer to proof-shell-unicode for process-environment and coding-system; | Makarius Wenzel | 2005-09-14 |
| | |||
* | added proof-shell-unicode; | Makarius Wenzel | 2005-09-14 |
| | |||
* | tuned isar-goals-font-lock-keywords; | Makarius Wenzel | 2005-09-13 |
| | |||
* | tuned isar-keywords-theory-enclose; | Makarius Wenzel | 2005-09-06 |
| | |||
* | do not include leading space in parameter to isatool doc, i.e. | Gerwin Klein | 2005-09-02 |
| | | | | | | isatool doc "x" instead of isatool doc " x" | ||
* | example output; | Makarius Wenzel | 2005-09-01 |
| | |||
* | added lemma; | Makarius Wenzel | 2005-09-01 |
| | |||
* | example theory involving unicode characters (utf-8 encoding); | Makarius Wenzel | 2005-09-01 |
| | |||
* | renamed thms_containing to find_theorems; | Makarius Wenzel | 2005-09-01 |
| | |||
* | special regexps: include PGASCII version; | Makarius Wenzel | 2005-09-01 |
| | | | | pg-after-fontify-output-hook: always do pg-remove-specials; | ||
* | special regexps: include PGASCII version; | Makarius Wenzel | 2005-09-01 |
| | |||
* | tuned ML code for manipulating print_mode; | Makarius Wenzel | 2005-09-01 |
| | |||
* | tuned ML code for manipulating print_mode; | Makarius Wenzel | 2005-09-01 |
| | | | | isabelle-convert-idmarkup-to-subterm: proof-re-search-forward, tuned regexp; | ||
* | moved pg-special-char-regexp to proof-config.el; | Makarius Wenzel | 2005-09-01 |
| | | | | added pg-remove-specials-in-string; | ||
* | added proof-search-forward, proof-replace-regexp-in-string; | Makarius Wenzel | 2005-09-01 |
| | | | | avoid (re-)search-forward, which does not observe proof-case-fold-search; | ||
* | eager message: perform pg-remove-specials-in-string after ↵ | Makarius Wenzel | 2005-09-01 |
| | | | | pg-assoc-strip-subterm-markup; | ||
* | added pg-special-char-regexp (used to be a constant in proof-utils.el); | Makarius Wenzel | 2005-09-01 |
| | |||
* | prefer emacs over xemacs, which rarely works out of the box; | Makarius Wenzel | 2005-08-30 |
| | |||
* | added isar-font-lock-local: \<^loc> (needs x-symbol setup for x-invisible-face); | Makarius Wenzel | 2005-08-26 |
| | |||
* | proof-defshortcut isar-local: \<^loc>; | Makarius Wenzel | 2005-08-26 |
| | |||
* | made ASCII backquote (`) alternative string delimiter; | Makarius Wenzel | 2005-08-26 |
| | |||
* | isar-goals-font-lock-keywords: calculation; | Makarius Wenzel | 2005-08-18 |
| | |||
* | isatool fixheaders; | Makarius Wenzel | 2005-08-18 |
| | |||
* | obsolete; | Makarius Wenzel | 2005-08-18 |
| | |||
* | Fix lego-shell-adjust-line-width for mutliple frame mode. | David Aspinall | 2005-08-14 |
| | |||
* | Fix plastic-shell-adjust-line-width for mutliple frame mode. | David Aspinall | 2005-08-14 |
| | |||
* | Fix isar-shell-adjust-line-width for mutliple frame mode. | David Aspinall | 2005-08-14 |
| | |||
* | Set version tag for new release. | David Aspinall | 2005-08-10 |
| | |||
* | Updated. | David Aspinall | 2005-08-10 |
| | |||
* | Include proofgeneral.1 target. Fix make->(MAKE) | David Aspinall | 2005-08-10 |
| |