aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar/isar-syntax.el
Commit message (Expand)AuthorAge
* Update email and web addressesGravatar David Aspinall2004-02-08
* allow sub/super scripts in identifiers (\<^isub> and \<^isup>)Gravatar Gerwin Klein2003-10-16
* Yet another fix from Sebastian Skalberg.Gravatar Stefan Berghofer2003-09-05
* Corrected fix from Sebastian Skalberg.Gravatar Stefan Berghofer2003-08-29
* Fix from Sebastian Skalberg <skalberg@in.tum.de>Gravatar David Aspinall2003-08-28
* Fix SML comment syntax oopsGravatar David Aspinall2003-08-20
* Use newer undo function ProofGeneral.undo (no output undo).Gravatar David Aspinall2003-08-19
* Fix from Gerwin to repair groupingGravatar David Aspinall2003-05-23
* Version from Gerwin with performance fixesGravatar David Aspinall2003-05-20
* Version without match save, and disabling isar-match-antiq.Gravatar David Aspinall2003-05-20
* Disable fontification of antiquotation because of buggy interaction with font...Gravatar David Aspinall2003-04-25
* Save match data in font-locking function for antiquotations (patch from CW).Gravatar David Aspinall2003-04-15
* Revert to old isar-ids-to-regexpGravatar David Aspinall2003-02-17
* Source of parsing problem discovered and explained.Gravatar David Aspinall2002-09-11
* Remove FIXME: have added definition of font-lock-preprocessor-faceGravatar David Aspinall2002-07-02
* Adjust syntax tables.Gravatar David Aspinall2002-07-01
* GPL updateGravatar David Aspinall2002-06-21
* added isar-undo-ignore-regexp;Gravatar Makarius Wenzel2002-02-12
* updated isar-goals-font-lock-keywords;Gravatar Makarius Wenzel2001-11-07
* isar-goals-font-lock-keywords: more general goal pattern;Gravatar Makarius Wenzel2001-10-13
* isar-goals-font-lock-keywords: corollary;Gravatar Makarius Wenzel2001-09-10
* proof-string-match;Gravatar Makarius Wenzel2001-01-12
* proper font-lock of isar-keywords-proof-heading;Gravatar Makarius Wenzel2001-01-10
* improved isar-string regexp;Gravatar Makarius Wenzel2000-12-28
* tuned font lock;Gravatar Makarius Wenzel2000-12-23
* tuned font-lock-keywords;Gravatar Makarius Wenzel2000-12-06
* tuned isar-goals-font-lock-keywords;Gravatar Makarius Wenzel2000-10-31
* tuned font-lock-keywords;Gravatar Makarius Wenzel2000-10-30
* font-lock support for antiquotations;Gravatar Makarius Wenzel2000-10-26
* removed broken outline stuff;Gravatar Makarius Wenzel2000-09-27
* made \<> word characters (accomodates symbol representation);Gravatar Makarius Wenzel2000-09-19
* removed junk;Gravatar Makarius Wenzel2000-09-19
* syntax: "?" made word char;Gravatar Makarius Wenzel2000-08-29
* isar-keywords-proof-improper;Gravatar Makarius Wenzel2000-08-16
* added outline mode setup (still not quite working as expected);Gravatar Makarius Wenzel2000-08-07
* fixed isar-goals-font-lock-keywords;Gravatar Makarius Wenzel2000-07-29
* proper function-menu (fume) setup;Gravatar Makarius Wenzel2000-06-16
* new indentation setup;Gravatar Makarius Wenzel2000-06-08
* isar-save-with-hole-regexp: proof-no-regexp;Gravatar Makarius Wenzel2000-06-05
* Removed defunct commentsGravatar David Aspinall2000-06-05
* replaced isar-verbatim by isabelle-verbatim;Gravatar Makarius Wenzel2000-06-04
* improved isar-goals-font-lock-keywords;Gravatar Makarius Wenzel2000-05-30
* Tweak font lock exprs enough for Example.thyGravatar David Aspinall2000-05-29
* Font lock exprs for goals buffer like those in IsabelleGravatar David Aspinall2000-05-29
* isar-any-command-regexp;Gravatar Makarius Wenzel2000-05-26
* replaced proof-ids-to-regexp by isar-ids-to-regexp, which admitsGravatar Makarius Wenzel2000-05-22
* isar-verbatim-regexp: include \n;Gravatar Makarius Wenzel2000-05-19
* removed unused isar-ids;Gravatar Makarius Wenzel2000-04-25
* isar-tac-regexp: 'font-lock-reference-face;Gravatar Makarius Wenzel2000-02-14
* added isar-keywords-qed-global, isar-global-save-command-regexp;Gravatar Makarius Wenzel2000-02-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-17 07:22:32 +0000