| Commit message (Expand) | Author | Age |
* | eliminated obsolete non-ASCII specials; | Makarius Wenzel | 2009-03-31 |
* | Merge changes from Version4Branch. | David Aspinall | 2008-07-24 |
* | Use proof-guess-command-line to adjust command line when starting Isabelle. | David Aspinall | 2008-07-10 |
* | Start to rationalise setting for proof-prog-name. | David Aspinall | 2008-07-10 |
* | Remove isar-activate-scripting, which was identical to default | David Aspinall | 2008-02-17 |
* | Set proof-shell-eager-annotation-start-length=2. This should have been | David Aspinall | 2008-02-17 |
* | Add mode documentation | David Aspinall | 2008-02-04 |
* | Set proof-shell-trace-output-regexp early enough to have effect. Fixes trac ... | David Aspinall | 2008-01-29 |
* | Add key binding for ML {* *} and fix longsuper, longsub | David Aspinall | 2008-01-24 |
* | Many compatibility updates, bug fixes, rearrangements for compilation. | David Aspinall | 2008-01-15 |
* | Move x-symbol-isabelle -> x-symbol-isar to simplify setup. | David Aspinall | 2007-12-14 |
* | Typo in pg-special-char-regexp | David Aspinall | 2007-12-14 |
* | Make value of pg-special-char-regexp depend on proof-shell-unicode. | David Aspinall | 2007-12-14 |
* | proof-shell-issue-pgip-cmd is always isabelle-process-pgip; | Makarius Wenzel | 2007-10-24 |
* | isar-find-and-forget: no special treatment of begin/end, just plain undo | Makarius Wenzel | 2007-10-18 |
* | allow more specials: oct 327 .. oct 340; | Makarius Wenzel | 2007-09-07 |
* | pg-topterm-regexp: use special 376. isar-goalhyplit-test: Delete closing mark... | David Aspinall | 2007-08-19 |
* | removed outated comment; | Makarius Wenzel | 2007-08-15 |
* | isar-goalhyplit-test: explicit end-marker; | Makarius Wenzel | 2007-08-15 |
* | Add support for sending back literal commands reusing PBP markup mechanisms. | David Aspinall | 2007-08-14 |
* | reverted find theorems default from form to minibuffer | weber | 2007-06-11 |
* | Rename [proof]find-theorems -> isar-find-theorems | David Aspinall | 2007-05-11 |
* | Add experimental find theorems form (not working on all Emacs yet) | David Aspinall | 2007-05-10 |
* | tuned cannot-undo; | Makarius Wenzel | 2007-05-08 |
* | added isar-cmd-sledgehammer; | Makarius Wenzel | 2007-05-08 |
* | tuned pg-special-char-regexp; | Makarius Wenzel | 2007-05-08 |
* | Patch for XEmacs 21.5 beta match-replace bug | David Aspinall | 2007-03-03 |
* | Use Isar-specific isabelle-system file | David Aspinall | 2006-12-05 |
* | isar-strip-terminators, isar-detect-begin: proof-search-forward; | Makarius Wenzel | 2006-11-04 |
* | reintroduced pg-subterm-first-special-char, which makes PG strip goal markup; | Makarius Wenzel | 2006-10-11 |
* | removed obsolete isar-detect-header; | Makarius Wenzel | 2006-10-11 |
* | Changed the type of proof-goal-command-p. It takes now a span, which | Pierre Courtieu | 2006-04-26 |
* | isar-preprocessing: replace \n by \<^newline>; | Makarius Wenzel | 2006-02-12 |
* | old specials are recogized again; | Makarius Wenzel | 2005-09-28 |
* | Tweak. | David Aspinall | 2005-09-21 |
* | Add command menu | David Aspinall | 2005-09-21 |
* | proof-shell-wakeup-char ?\^A | Makarius Wenzel | 2005-09-17 |
* | removed 8bit special chars for isar; | Makarius Wenzel | 2005-09-14 |
* | renamed thms_containing to find_theorems; | Makarius Wenzel | 2005-09-01 |
* | special regexps: include PGASCII version; | Makarius Wenzel | 2005-09-01 |
* | proof-defshortcut isar-local: \<^loc>; | Makarius Wenzel | 2005-08-26 |
* | Fix isar-shell-adjust-line-width for mutliple frame mode. | David Aspinall | 2005-08-14 |
* | next-error-regexp seems to have broken; fix it against current Isabelle CVS. | David Aspinall | 2005-08-09 |
* | proof-defshortcut isar-bold; | Makarius Wenzel | 2005-08-08 |
* | removed find_rwrites, print_intros; | Makarius Wenzel | 2005-05-22 |
* | Changes from Clemens Ballarin for large X-Symbol fonts | David Aspinall | 2005-02-15 |
* | Remove print draft from menu | David Aspinall | 2004-10-07 |
* | Fix display_drafts -> print_drafts | David Aspinall | 2004-07-23 |
* | Fix index number back for isar-undo-remove-regexp, change isar-remove instead. | David Aspinall | 2004-06-17 |
* | Fix error regexps for matching additional comma printed in position [NB: for ... | David Aspinall | 2004-06-16 |