| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2005-09-17 | proof-shell-wakeup-char ?\^A | Makarius Wenzel | |
| 2005-09-14 | removed 8bit special chars for isar; | Makarius Wenzel | |
| removed unused Pbp setup; removed 'isabelle-convert-idmarkup-to-subterm, which expects 8bit specials; | |||
| 2005-09-14 | removed 8bit special chars for isar; | Makarius Wenzel | |
| 2005-09-14 | added option -U: Unicode (UTF-8) communication; | Makarius Wenzel | |
| 2005-09-13 | tuned isar-goals-font-lock-keywords; | Makarius Wenzel | |
| 2005-09-06 | tuned isar-keywords-theory-enclose; | Makarius Wenzel | |
| 2005-09-01 | renamed thms_containing to find_theorems; | Makarius Wenzel | |
| 2005-09-01 | special regexps: include PGASCII version; | Makarius Wenzel | |
| pg-after-fontify-output-hook: always do pg-remove-specials; | |||
| 2005-09-01 | special regexps: include PGASCII version; | Makarius Wenzel | |
| 2005-09-01 | tuned ML code for manipulating print_mode; | Makarius Wenzel | |
| 2005-08-30 | prefer emacs over xemacs, which rarely works out of the box; | Makarius Wenzel | |
| 2005-08-26 | 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-18 | isar-goals-font-lock-keywords: calculation; | Makarius Wenzel | |
| 2005-08-18 | isatool fixheaders; | Makarius Wenzel | |
| 2005-08-18 | obsolete; | Makarius Wenzel | |
| 2005-08-14 | Fix isar-shell-adjust-line-width for mutliple frame mode. | David Aspinall | |
| 2005-08-09 | next-error-regexp seems to have broken; fix it against current Isabelle CVS. | David Aspinall | |
| 2005-08-08 | proof-defshortcut isar-bold; | Makarius Wenzel | |
| 2005-07-19 | tuned; | Makarius Wenzel | |
| 2005-06-26 | tuned isar-goals-font-lock-keywords; | Makarius Wenzel | |
| 2005-06-24 | more general goal pattern; | Makarius Wenzel | |
| 2005-05-31 | use physical path; | Makarius Wenzel | |
| 2005-05-31 | tuned; | Makarius Wenzel | |
| 2005-05-22 | removed find_rwrites, print_intros; | Makarius Wenzel | |
| 2005-05-17 | added -L option; | Makarius Wenzel | |
| tuned; | |||
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |