aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar/isar-syntax.el
Commit message (Expand)AuthorAge
...
* 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
* fixed isar-keywords-local-goal-regexp;Gravatar Makarius Wenzel1999-12-30
* tuned faces;Gravatar Makarius Wenzel1999-11-22
* replaced remove_thy by kill_thy (more robust);Gravatar Makarius Wenzel1999-10-26
* isar-keywords-proof-asm-goal;Gravatar Makarius Wenzel1999-10-01
* replaced isar-output-font-lock-terms by isar-output-font-lock-keywords-1;Gravatar Makarius Wenzel1999-09-30
* added isar-verbatim;Gravatar Makarius Wenzel1999-09-26
* Isabelle term / type hiliting;Gravatar Makarius Wenzel1999-09-24
* tuned;Gravatar Makarius Wenzel1999-08-29
* some output syntax;Gravatar Makarius Wenzel1999-08-24
* font-lock-function-face -> font-lock-function-name-faceGravatar David Aspinall1999-08-23
* deactivated isar-font-lock-terms (currently useless);Gravatar Makarius Wenzel1999-08-18
* fixed Id;Gravatar Makarius Wenzel1999-07-28
* isar-name-regexp: group result;Gravatar Makarius Wenzel1999-07-27
* fixed some regexps via proof-anchor-regexp;Gravatar Makarius Wenzel1999-07-02
* isar-keywords-proof-asm;Gravatar Makarius Wenzel1999-07-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 17:25:11 +0000