| Commit message (Expand) | Author | Age |
* | Fix colours for dark backgrounds | David Aspinall | 2015-03-05 |
* | clarified isar-improper-regexp -- "prems" is already reported as legacy by th... | Makarius Wenzel | 2011-08-31 |
* | generalized font-lock regexps: isar-text allows any non-control characters to... | Makarius Wenzel | 2011-07-06 |
* | Replace proof-boring-face -> isabelle-quote-face, reported on | David Aspinall | 2011-05-05 |
* | some attempts to indent 'notepad' 'begin' ... 'end' like a proof body; | Makarius Wenzel | 2010-12-08 |
* | iasbelle-string-face: Remove italic from defaults because | David Aspinall | 2010-08-19 |
* | isabelle-quote-face: add this face to customize vanishing quotes | David Aspinall | 2010-08-11 |
* | Experiment with default string font being italic, to match STIX italic. | David Aspinall | 2010-08-11 |
* | Support custom syntactic fontification. | David Aspinall | 2010-08-11 |
* | isabelle-string-face: switch to a more traditional green | David Aspinall | 2010-08-11 |
* | Fix compile and spelling | David Aspinall | 2010-08-09 |
* | isabelle-string-face: introduce custom string colour as font lock default is ... | David Aspinall | 2010-08-04 |
* | Fix for matching names in regexps, restores behaviour of name-aware code such... | David Aspinall | 2010-08-02 |
* | isar-ids-to-regexp: regexp-opt with 'words arg (non-shy matching inside | David Aspinall | 2009-12-01 |
* | define isar-pr as load-time constant; | Makarius Wenzel | 2009-11-24 |
* | Use ProofGeneral.pr if available. See Trac #292. | David Aspinall | 2009-11-23 |
* | tvar font-lock: allow more than one ? (as in inference parameter ??'a); | Makarius Wenzel | 2009-11-21 |
* | named entity needed for goal-with-hole | David Aspinall | 2009-10-14 |
* | Remove fume settings | David Aspinall | 2009-10-14 |
* | Start using new parser, adjusting isar-any-command-regexp. | David Aspinall | 2009-10-03 |
* | Documentation. | David Aspinall | 2009-09-29 |
* | Add pr to print state in case of linear_undo. See Trac #292. | David Aspinall | 2009-09-26 |
* | isar-outline-heading-alist: fix list format | David Aspinall | 2009-09-14 |
* | isar-outline-heading-alist: fix list format | David Aspinall | 2009-09-14 |
* | isar-outline-heading-alist: fix structure | David Aspinall | 2009-09-14 |
* | Improve support for outline mode: additional headings and sublevel support | David Aspinall | 2009-09-14 |
* | Support linear_undo. Add minimal font-lock for readability in *isabelle*. | David Aspinall | 2009-09-09 |
* | Clean whitespace | David Aspinall | 2009-09-05 |
* | Remove proof-no-command | David Aspinall | 2009-09-04 |
* | output-font-lock-keywords: remove unnecessary brackets | David Aspinall | 2009-09-03 |
* | Fix font-lock output keywords for tvars starting ?' | David Aspinall | 2009-09-03 |
* | First attempt at command wrapping (see http://proofgeneral.inf.ed.ac.uk/trac/... | David Aspinall | 2009-08-18 |
* | isar-syntactic-context: tweak (still not perfect, loses between "--" and stri... | David Aspinall | 2009-08-17 |
* | isar-syntactic-context: fix calls to re-search-backward | David Aspinall | 2009-08-17 |
* | isar-syntactic-context: modify proof-looking-at-syntactic-context to allow | David Aspinall | 2009-08-17 |
* | isar-output-font-lock-keywords-1: enable display of ? and ' again | David Aspinall | 2009-08-14 |
* | Do not hide the spurious ASCII characters as it confuses old hands. | David Aspinall | 2009-08-14 |
* | Remove yank-handler experiment, in favour of buffer-substring-filters | David Aspinall | 2009-05-26 |
* | isar-strip-output-markup: simple output markup stripping | David Aspinall | 2009-05-26 |
* | Hide goals marker start again (Isabelle2009 doesn't markup subgoals) | David Aspinall | 2009-05-26 |
* | Add highlighting for sendback | David Aspinall | 2009-05-26 |
* | isar-output-font-lock-keywords-1: simplified regexp for invisible stuff, and ... | Makarius Wenzel | 2009-03-31 |
* | Linear undo command | David Aspinall | 2008-12-05 |
* | Fix by Stephan Hohe | David Aspinall | 2008-09-18 |
* | Merge changes from Version4Branch. | David Aspinall | 2008-07-24 |
* | removed obsolete comment; | Makarius Wenzel | 2008-07-10 |
* | defface: using proof-face-specs makes faces appear on non-X11 window systems ... | Makarius Wenzel | 2008-07-07 |
* | isar-undos: fix bug trac #189 introduced by attempt to remove proof-no-command. | David Aspinall | 2008-01-29 |
* | Many compatibility updates, bug fixes, rearrangements for compilation. | David Aspinall | 2008-01-15 |
* | isar-undo-fail-regexp: only isar-keywords-control, not isar-keywords-theory-end; | Makarius Wenzel | 2007-10-18 |