aboutsummaryrefslogtreecommitdiff
path: root/isar/isar-syntax.el
AgeCommit message (Expand)Author
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
2000-10-30tuned font-lock-keywords;Makarius Wenzel
2000-10-26font-lock support for antiquotations;Makarius Wenzel
2000-09-27removed broken outline stuff;Makarius Wenzel
2000-09-19made \<> word characters (accomodates symbol representation);Makarius Wenzel
2000-09-19removed junk;Makarius Wenzel
2000-08-29syntax: "?" made word char;Makarius Wenzel
2000-08-16isar-keywords-proof-improper;Makarius Wenzel
2000-08-07added outline mode setup (still not quite working as expected);Makarius Wenzel
2000-07-29fixed isar-goals-font-lock-keywords;Makarius Wenzel
2000-06-16proper function-menu (fume) setup;Makarius Wenzel
2000-06-08new indentation setup;Makarius Wenzel
2000-06-05isar-save-with-hole-regexp: proof-no-regexp;Makarius Wenzel
2000-06-05Removed defunct commentsDavid Aspinall
2000-06-04replaced isar-verbatim by isabelle-verbatim;Makarius Wenzel
2000-05-30improved isar-goals-font-lock-keywords;Makarius Wenzel
2000-05-29Tweak font lock exprs enough for Example.thyDavid Aspinall
2000-05-29Font lock exprs for goals buffer like those in IsabelleDavid Aspinall
2000-05-26isar-any-command-regexp;Makarius Wenzel
2000-05-22replaced proof-ids-to-regexp by isar-ids-to-regexp, which admitsMakarius Wenzel
2000-05-19isar-verbatim-regexp: include \n;Makarius Wenzel
2000-04-25removed unused isar-ids;Makarius Wenzel
2000-02-14isar-tac-regexp: 'font-lock-reference-face;Makarius Wenzel
2000-02-09added isar-keywords-qed-global, isar-global-save-command-regexp;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 21:23:28 +0000