aboutsummaryrefslogtreecommitdiff
path: root/isar/isar-syntax.el
AgeCommit message (Expand)Author
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
1999-07-01isar-keywords-proof-asm;Makarius Wenzel
1999-05-27removed junk;Makarius Wenzel
1999-05-26tuned keywords;Makarius Wenzel
1999-05-23improved classification of keywords (see also isar-keywords.el);Makarius Wenzel
1999-05-21tuned -- still quite unsatisfactory;Makarius Wenzel
1999-04-27deactivated '.' and '..' keywords (tmp);Makarius Wenzel
1999-04-23added "thus", "hence";Makarius Wenzel
1999-04-16initial version of 'isar proof assistant (Isabelle/Isar);Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 09:30:12 +0000