aboutsummaryrefslogtreecommitdiff
path: root/isar/isar-syntax.el
AgeCommit message (Collapse)Author
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
Cvs: ----------------------------------------------------------------------
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 ↵Makarius Wenzel
post-Isabelle2005 the latter is empty anyway);
2006-11-04isar-keywords-theory-enclose: removed isar-keywords-theory-switch, which ↵Makarius Wenzel
usually appears locally as plain theory command; isar-keywords-proper: simplified font-lock; added isar-match-nesting -- distinguishes font-lock for local vs. global begin/end;
2006-10-11isar-keywords-indent-enclose: include "begin" keyword;Makarius Wenzel
removed obsolete kill/undo-kill-regexp;
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
Add output-font-lock-keywords for tvars and vars without ?'s (probably redundant without low-level output mode change: pending).
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
2003-08-29Corrected fix from Sebastian Skalberg.Stefan Berghofer
2003-08-28Fix from Sebastian Skalberg <skalberg@in.tum.de>David Aspinall
2003-08-20Fix SML comment syntax oopsDavid Aspinall
2003-08-19Use newer undo function ProofGeneral.undo (no output undo).David Aspinall
2003-05-23Fix from Gerwin to repair groupingDavid Aspinall
2003-05-20Version from Gerwin with performance fixesDavid Aspinall
2003-05-20Version without match save, and disabling isar-match-antiq.David Aspinall
2003-04-25Disable fontification of antiquotation because of buggy interaction with ↵David Aspinall
font-lock/XEmacs.
2003-04-15Save match data in font-locking function for antiquotations (patch from CW).David Aspinall
2003-02-17Revert to old isar-ids-to-regexpDavid Aspinall
2002-09-11Source of parsing problem discovered and explained.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 11:59:44 +0000