aboutsummaryrefslogtreecommitdiff
path: root/isar/isar-syntax.el
AgeCommit message (Expand)Author
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
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 font...David Aspinall
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
2002-07-02Remove FIXME: have added definition of font-lock-preprocessor-faceDavid Aspinall
2002-07-01Adjust syntax tables.David Aspinall
2002-06-21GPL updateDavid Aspinall
2002-02-12added isar-undo-ignore-regexp;Makarius Wenzel
2001-11-07updated isar-goals-font-lock-keywords;Makarius Wenzel
2001-10-13isar-goals-font-lock-keywords: more general goal pattern;Makarius Wenzel
2001-09-10isar-goals-font-lock-keywords: corollary;Makarius Wenzel
2001-01-12proof-string-match;Makarius Wenzel
2001-01-10proper font-lock of isar-keywords-proof-heading;Makarius Wenzel
2000-12-28improved isar-string regexp;Makarius Wenzel
2000-12-23tuned font lock;Makarius Wenzel
2000-12-06tuned font-lock-keywords;Makarius Wenzel
2000-10-31tuned isar-goals-font-lock-keywords;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 03:10:58 +0000