| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2007-08-19 | pg-topterm-regexp: use special 376. isar-goalhyplit-test: Delete closing ↵ | David Aspinall | |
| markup (special 377). | |||
| 2007-08-15 | removed outated comment; | Makarius Wenzel | |
| 2007-08-15 | isar-goalhyplit-test: explicit end-marker; | Makarius Wenzel | |
| 2007-08-14 | Add support for sending back literal commands reusing PBP markup mechanisms. | David Aspinall | |
| 2007-06-14 | isar-improper-regexp: include "prems"; | Makarius Wenzel | |
| Cvs: ---------------------------------------------------------------------- | |||
| 2007-06-14 | single-char-regexp: tuned symbol regexp; | Makarius Wenzel | |
| subscript-matcher: more robust handling of non-space lookahead (beware of markuo specials!); | |||
| 2007-06-14 | isar-font-lock-local: tuned symbol regexp; | Makarius Wenzel | |
| 2007-06-11 | reverted find theorems default from form to minibuffer | weber | |
| 2007-05-17 | XEmacs 21.4.15 does not seem to know propertize | weber | |
| 2007-05-11 | Fix rename | weber | |
| 2007-05-11 | Fix rename | weber | |
| 2007-05-11 | works with XEmacs now (ticket #115) | weber | |
| 2007-05-11 | Fix rename | David Aspinall | |
| 2007-05-11 | Rename [proof]find-theorems -> isar-find-theorems | David Aspinall | |
| 2007-05-11 | Renamed file | David Aspinall | |
| 2007-05-10 | Add experimental find theorems form (not working on all Emacs yet) | David Aspinall | |
| 2007-05-10 | New files. | David Aspinall | |
| 2007-05-08 | x-symbol-isabelle-font-lock-regexp: demand subsequent non-space character; | Makarius Wenzel | |
| 2007-05-08 | undo: removed confusing comment; | Makarius Wenzel | |
| 2007-05-08 | 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-03-03 | Patch for XEmacs 21.5 beta match-replace bug | David Aspinall | |
| 2007-02-28 | Fix comment | David Aspinall | |
| 2007-01-10 | Comment about undo; use | David Aspinall | |
| 2006-12-30 | tuned; | Makarius Wenzel | |
| 2006-12-07 | back again for isar; | Makarius Wenzel | |
| 2006-12-07 | isar-keywords-theory-enclose: isar-keywords-theory-switch is back again (in ↵ | Makarius Wenzel | |
| post-Isabelle2005 the latter is empty anyway); | |||
| 2006-12-07 | removed obsolete references to 'isa'; | Makarius Wenzel | |
| 2006-12-07 | proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which ↵ | Makarius Wenzel | |
| breaks Poly/MK 5; | |||
| 2006-12-05 | X-Symbol config. Moved from isa/ | David Aspinall | |
| 2006-12-05 | Use Isar-specific isabelle-system file | David Aspinall | |
| 2006-11-04 | isar-keywords-theory-enclose: removed isar-keywords-theory-switch, which ↵ | Makarius Wenzel | |
| usually appears locally as plain theory command; isar-keywords-proper: simplified font-lock; added isar-match-nesting -- distinguishes font-lock for local vs. global begin/end; | |||
| 2006-11-04 | isar-strip-terminators, isar-detect-begin: proof-search-forward; | Makarius Wenzel | |
| 2006-10-11 | reintroduced pg-subterm-first-special-char, which makes PG strip goal markup; | Makarius Wenzel | |
| isar-find-and-forget: no special treatment of undo-kill, allows "context" command to act as local theory init; | |||
| 2006-10-11 | isar-keywords-indent-enclose: include "begin" keyword; | Makarius Wenzel | |
| removed obsolete kill/undo-kill-regexp; | |||
| 2006-10-11 | added regexps for begin/end and theory start; | Makarius Wenzel | |
| 2006-10-11 | removed obsolete isar-detect-header; | Makarius Wenzel | |
| isar-find-and-forget: proper handling of nested begin/end blocks; | |||
| 2006-08-16 | isar-goals-font-lock-keywords: added abbreviations; | Makarius Wenzel | |
| 2006-04-26 | Changed the type of proof-goal-command-p. It takes now a span, which | Pierre Courtieu | |
| allows using a span attribute to detect goal commands. I think I modified all modes accordingly. | |||
| 2006-02-12 | isar-preprocessing: replace \n by \<^newline>; | Makarius Wenzel | |
| 2006-02-10 | isar-goals-font-lock-keywords: "abbreviations"; | Makarius Wenzel | |
| 2005-09-28 | old specials are recogized again; | Makarius Wenzel | |
| 2005-09-22 | updated from pre-Isabelle2005; | Makarius Wenzel | |
| 2005-09-21 | Updated. | David Aspinall | |
| 2005-09-21 | New files. | 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-17 | update examples for Isabelle2005; | Makarius Wenzel | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |