aboutsummaryrefslogtreecommitdiff
path: root/isar/isar-syntax.el
AgeCommit message (Expand)Author
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
2008-01-15Many compatibility updates, bug fixes, rearrangements for compilation.David Aspinall
2007-10-18isar-undo-fail-regexp: only isar-keywords-control, not isar-keywords-theory-end;Makarius Wenzel
2007-09-07isar-output-font-lock-keywords-1: hilite markup uses proof-warning-face;Makarius Wenzel
2007-06-14isar-improper-regexp: include "prems";Makarius Wenzel
2007-06-14isar-font-lock-local: tuned symbol regexp;Makarius Wenzel
2007-05-08undo: removed confusing comment;Makarius Wenzel
2007-01-10Comment about undo; useDavid Aspinall
2006-12-07isar-keywords-theory-enclose: isar-keywords-theory-switch is back again (in p...Makarius Wenzel
2006-11-04isar-keywords-theory-enclose: removed isar-keywords-theory-switch, which usua...Makarius Wenzel
2006-10-11isar-keywords-indent-enclose: include "begin" keyword;Makarius Wenzel
2006-10-11added regexps for begin/end and theory start;Makarius Wenzel
2006-08-16isar-goals-font-lock-keywords: added abbreviations;Makarius Wenzel
2006-02-10isar-goals-font-lock-keywords: "abbreviations";Makarius Wenzel
2005-09-28old specials are recogized again;Makarius Wenzel
2005-09-14removed 8bit special chars for isar;Makarius Wenzel
2005-09-13tuned isar-goals-font-lock-keywords;Makarius Wenzel
2005-09-06tuned isar-keywords-theory-enclose;Makarius Wenzel
2005-09-01special regexps: include PGASCII version;Makarius Wenzel
2005-08-26added isar-font-lock-local: \<^loc> (needs x-symbol setup for x-invisible-face);Makarius Wenzel
2005-08-26made ASCII backquote (`) alternative string delimiter;Makarius Wenzel
2005-08-18isar-goals-font-lock-keywords: calculation;Makarius Wenzel
2005-06-26tuned isar-goals-font-lock-keywords;Makarius Wenzel
2005-06-24more general goal pattern;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 08:09:48 +0000