aboutsummaryrefslogtreecommitdiff
path: root/isar/isar-syntax.el
AgeCommit message (Expand)Author
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
1999-12-30fixed isar-keywords-local-goal-regexp;Makarius Wenzel
1999-11-22tuned faces;Makarius Wenzel
1999-10-26replaced remove_thy by kill_thy (more robust);Makarius Wenzel
1999-10-01isar-keywords-proof-asm-goal;Makarius Wenzel
1999-09-30replaced isar-output-font-lock-terms by isar-output-font-lock-keywords-1;Makarius Wenzel
1999-09-26added isar-verbatim;Makarius Wenzel
1999-09-24Isabelle term / type hiliting;Makarius Wenzel
1999-08-29tuned;Makarius Wenzel
1999-08-24some output syntax;Makarius Wenzel
1999-08-23font-lock-function-face -> font-lock-function-name-faceDavid Aspinall
1999-08-18deactivated isar-font-lock-terms (currently useless);Makarius Wenzel
1999-07-28fixed Id;Makarius Wenzel
1999-07-27isar-name-regexp: group result;Makarius Wenzel
1999-07-02fixed some regexps via proof-anchor-regexp;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:33:25 +0000