aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar/isar-syntax.el
Commit message (Expand)AuthorAge
* 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
* removed junk;Gravatar Makarius Wenzel1999-05-27
* tuned keywords;Gravatar Makarius Wenzel1999-05-26
* improved classification of keywords (see also isar-keywords.el);Gravatar Makarius Wenzel1999-05-23
* tuned -- still quite unsatisfactory;Gravatar Makarius Wenzel1999-05-21
* deactivated '.' and '..' keywords (tmp);Gravatar Makarius Wenzel1999-04-27
* added "thus", "hence";Gravatar Makarius Wenzel1999-04-23
* initial version of 'isar proof assistant (Isabelle/Isar);Gravatar Makarius Wenzel1999-04-16