| Commit message (Expand) | Author | Age |
|---|
| ... | |
| * | 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 |
| * | Last change: added also isar-display-draft isar-print-draft for | David Aspinall | 2004-06-16 |
| * | Fix for name matching changes grouping in isar-undo-remove-regexp. | David Aspinall | 2004-06-16 |
| * | Add functions for displaying/printing draft. | David Aspinall | 2004-06-13 |
| * | Set comment-quote-nested (for Emacs/XEmacs 21.5) | David Aspinall | 2004-05-09 |
David Aspinall
Makarius Wenzel
weber
Pierre Courtieu