aboutsummaryrefslogtreecommitdiff
path: root/isar/isar-syntax.el
AgeCommit message (Expand)Author
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
2005-05-31tuned;Makarius Wenzel
2004-08-10Change syntax table for \ from word constituent to escape character.David Aspinall
2004-06-17Fix index number back for isar-undo-remove-regexp, change isar-remove instead.David Aspinall
2004-06-17Fix grouping for isar-generic-expression.David Aspinall
2004-06-16Continue the grouping bug fix.David Aspinall
2004-06-16Fix another bug introduced by Gerwin's shy grouping "optimisations"...David Aspinall
2004-04-16fix typo in isar-long-id-stuffGerwin Klein
2004-04-16fix typo in isar-long-id-stuffGerwin Klein
2004-04-15Set imenu-syntax-alist. Seems to solve prefix/underscore issue in SpeedbarDavid Aspinall
2004-04-14Typo in imenu setup (not sure how that got committed)David Aspinall
2004-04-14Func-menu: fix bug in locale regexp. Add imenu support.David Aspinall
2004-04-14Fixes for function menu. Remove unnamed entities.David Aspinall
2004-04-14fixed regexp problem with function menuGerwin Klein
2004-02-08Update email and web addressesDavid Aspinall
2003-10-16allow sub/super scripts in identifiers (\<^isub> and \<^isup>)Gerwin Klein
2003-09-05Yet another fix from Sebastian Skalberg.Stefan Berghofer
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 09:45:37 +0000