aboutsummaryrefslogtreecommitdiff
path: root/isar/isar-syntax.el
AgeCommit message (Expand)Author
2018-12-22* coq-mode.el: New file to make coq-mode independent from PGStefan Monnier
2018-12-13Use `cl-lib` instead of `cl` everywhereStefan Monnier
2015-03-05Fix colours for dark backgroundsDavid Aspinall
2011-08-31clarified isar-improper-regexp -- "prems" is already reported as legacy by th...Makarius Wenzel
2011-07-06generalized font-lock regexps: isar-text allows any non-control characters to...Makarius Wenzel
2011-05-05Replace proof-boring-face -> isabelle-quote-face, reported onDavid Aspinall
2010-12-08some attempts to indent 'notepad' 'begin' ... 'end' like a proof body;Makarius Wenzel
2010-08-19iasbelle-string-face: Remove italic from defaults becauseDavid Aspinall
2010-08-11isabelle-quote-face: add this face to customize vanishing quotesDavid Aspinall
2010-08-11Experiment with default string font being italic, to match STIX italic.David Aspinall
2010-08-11Support custom syntactic fontification.David Aspinall
2010-08-11isabelle-string-face: switch to a more traditional greenDavid Aspinall
2010-08-09Fix compile and spellingDavid Aspinall
2010-08-04isabelle-string-face: introduce custom string colour as font lock default is ...David Aspinall
2010-08-02Fix for matching names in regexps, restores behaviour of name-aware code such...David Aspinall
2009-12-01isar-ids-to-regexp: regexp-opt with 'words arg (non-shy matching insideDavid Aspinall
2009-11-24define isar-pr as load-time constant;Makarius Wenzel
2009-11-23Use ProofGeneral.pr if available. See Trac #292.David Aspinall
2009-11-21tvar font-lock: allow more than one ? (as in inference parameter ??'a);Makarius Wenzel
2009-10-14named entity needed for goal-with-holeDavid Aspinall
2009-10-14Remove fume settingsDavid Aspinall
2009-10-03Start using new parser, adjusting isar-any-command-regexp.David Aspinall
2009-09-29Documentation.David Aspinall
2009-09-26Add pr to print state in case of linear_undo. See Trac #292.David Aspinall
2009-09-14isar-outline-heading-alist: fix list formatDavid Aspinall
2009-09-14isar-outline-heading-alist: fix list formatDavid Aspinall
2009-09-14isar-outline-heading-alist: fix structureDavid Aspinall
2009-09-14Improve support for outline mode: additional headings and sublevel supportDavid Aspinall
2009-09-09Support linear_undo. Add minimal font-lock for readability in *isabelle*.David Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-09-04Remove proof-no-commandDavid Aspinall
2009-09-03output-font-lock-keywords: remove unnecessary bracketsDavid Aspinall
2009-09-03Fix font-lock output keywords for tvars starting ?'David Aspinall
2009-08-18First attempt at command wrapping (see http://proofgeneral.inf.ed.ac.uk/trac/...David Aspinall
2009-08-17isar-syntactic-context: tweak (still not perfect, loses between "--" and stri...David Aspinall
2009-08-17isar-syntactic-context: fix calls to re-search-backwardDavid Aspinall
2009-08-17isar-syntactic-context: modify proof-looking-at-syntactic-context to allowDavid Aspinall
2009-08-14isar-output-font-lock-keywords-1: enable display of ? and ' againDavid Aspinall
2009-08-14Do not hide the spurious ASCII characters as it confuses old hands.David Aspinall
2009-05-26Remove yank-handler experiment, in favour of buffer-substring-filtersDavid Aspinall
2009-05-26isar-strip-output-markup: simple output markup strippingDavid Aspinall
2009-05-26Hide goals marker start again (Isabelle2009 doesn't markup subgoals)David Aspinall
2009-05-26Add highlighting for sendbackDavid Aspinall
2009-03-31isar-output-font-lock-keywords-1: simplified regexp for invisible stuff, and ...Makarius Wenzel
2008-12-05Linear undo commandDavid Aspinall
2008-09-18Fix by Stephan HoheDavid Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-07-10removed obsolete comment;Makarius Wenzel
2008-07-07defface: using proof-face-specs makes faces appear on non-X11 window systems ...Makarius Wenzel
2008-01-29isar-undos: fix bug trac #189 introduced by attempt to remove proof-no-command.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:05:49 +0000