aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar/isar-syntax.el
Commit message (Expand)AuthorAge
* * coq-mode.el: New file to make coq-mode independent from PGGravatar Stefan Monnier2018-12-22
* Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
* Fix colours for dark backgroundsGravatar David Aspinall2015-03-05
* clarified isar-improper-regexp -- "prems" is already reported as legacy by th...Gravatar Makarius Wenzel2011-08-31
* generalized font-lock regexps: isar-text allows any non-control characters to...Gravatar Makarius Wenzel2011-07-06
* Replace proof-boring-face -> isabelle-quote-face, reported onGravatar David Aspinall2011-05-05
* some attempts to indent 'notepad' 'begin' ... 'end' like a proof body;Gravatar Makarius Wenzel2010-12-08
* iasbelle-string-face: Remove italic from defaults becauseGravatar David Aspinall2010-08-19
* isabelle-quote-face: add this face to customize vanishing quotesGravatar David Aspinall2010-08-11
* Experiment with default string font being italic, to match STIX italic.Gravatar David Aspinall2010-08-11
* Support custom syntactic fontification.Gravatar David Aspinall2010-08-11
* isabelle-string-face: switch to a more traditional greenGravatar David Aspinall2010-08-11
* Fix compile and spellingGravatar David Aspinall2010-08-09
* isabelle-string-face: introduce custom string colour as font lock default is ...Gravatar David Aspinall2010-08-04
* Fix for matching names in regexps, restores behaviour of name-aware code such...Gravatar David Aspinall2010-08-02
* isar-ids-to-regexp: regexp-opt with 'words arg (non-shy matching insideGravatar David Aspinall2009-12-01
* define isar-pr as load-time constant;Gravatar Makarius Wenzel2009-11-24
* Use ProofGeneral.pr if available. See Trac #292.Gravatar David Aspinall2009-11-23
* tvar font-lock: allow more than one ? (as in inference parameter ??'a);Gravatar Makarius Wenzel2009-11-21
* named entity needed for goal-with-holeGravatar David Aspinall2009-10-14
* Remove fume settingsGravatar David Aspinall2009-10-14
* Start using new parser, adjusting isar-any-command-regexp.Gravatar David Aspinall2009-10-03
* Documentation.Gravatar David Aspinall2009-09-29
* Add pr to print state in case of linear_undo. See Trac #292.Gravatar David Aspinall2009-09-26
* isar-outline-heading-alist: fix list formatGravatar David Aspinall2009-09-14
* isar-outline-heading-alist: fix list formatGravatar David Aspinall2009-09-14
* isar-outline-heading-alist: fix structureGravatar David Aspinall2009-09-14
* Improve support for outline mode: additional headings and sublevel supportGravatar David Aspinall2009-09-14
* Support linear_undo. Add minimal font-lock for readability in *isabelle*.Gravatar David Aspinall2009-09-09
* Clean whitespaceGravatar David Aspinall2009-09-05
* Remove proof-no-commandGravatar David Aspinall2009-09-04
* output-font-lock-keywords: remove unnecessary bracketsGravatar David Aspinall2009-09-03
* Fix font-lock output keywords for tvars starting ?'Gravatar David Aspinall2009-09-03
* First attempt at command wrapping (see http://proofgeneral.inf.ed.ac.uk/trac/...Gravatar David Aspinall2009-08-18
* isar-syntactic-context: tweak (still not perfect, loses between "--" and stri...Gravatar David Aspinall2009-08-17
* isar-syntactic-context: fix calls to re-search-backwardGravatar David Aspinall2009-08-17
* isar-syntactic-context: modify proof-looking-at-syntactic-context to allowGravatar David Aspinall2009-08-17
* isar-output-font-lock-keywords-1: enable display of ? and ' againGravatar David Aspinall2009-08-14
* Do not hide the spurious ASCII characters as it confuses old hands.Gravatar David Aspinall2009-08-14
* Remove yank-handler experiment, in favour of buffer-substring-filtersGravatar David Aspinall2009-05-26
* isar-strip-output-markup: simple output markup strippingGravatar David Aspinall2009-05-26
* Hide goals marker start again (Isabelle2009 doesn't markup subgoals)Gravatar David Aspinall2009-05-26
* Add highlighting for sendbackGravatar David Aspinall2009-05-26
* isar-output-font-lock-keywords-1: simplified regexp for invisible stuff, and ...Gravatar Makarius Wenzel2009-03-31
* Linear undo commandGravatar David Aspinall2008-12-05
* Fix by Stephan HoheGravatar David Aspinall2008-09-18
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* removed obsolete comment;Gravatar Makarius Wenzel2008-07-10
* defface: using proof-face-specs makes faces appear on non-X11 window systems ...Gravatar Makarius Wenzel2008-07-07
* isar-undos: fix bug trac #189 introduced by attempt to remove proof-no-command.Gravatar David Aspinall2008-01-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-04 22:24:26 +0000