index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
isar
/
isar-syntax.el
Commit message (
Expand
)
Author
Age
...
*
isar-goals-font-lock-keywords: more general goal pattern;
Makarius Wenzel
2001-10-13
*
isar-goals-font-lock-keywords: corollary;
Makarius Wenzel
2001-09-10
*
proof-string-match;
Makarius Wenzel
2001-01-12
*
proper font-lock of isar-keywords-proof-heading;
Makarius Wenzel
2001-01-10
*
improved isar-string regexp;
Makarius Wenzel
2000-12-28
*
tuned font lock;
Makarius Wenzel
2000-12-23
*
tuned font-lock-keywords;
Makarius Wenzel
2000-12-06
*
tuned isar-goals-font-lock-keywords;
Makarius Wenzel
2000-10-31
*
tuned font-lock-keywords;
Makarius Wenzel
2000-10-30
*
font-lock support for antiquotations;
Makarius Wenzel
2000-10-26
*
removed broken outline stuff;
Makarius Wenzel
2000-09-27
*
made \<> word characters (accomodates symbol representation);
Makarius Wenzel
2000-09-19
*
removed junk;
Makarius Wenzel
2000-09-19
*
syntax: "?" made word char;
Makarius Wenzel
2000-08-29
*
isar-keywords-proof-improper;
Makarius Wenzel
2000-08-16
*
added outline mode setup (still not quite working as expected);
Makarius Wenzel
2000-08-07
*
fixed isar-goals-font-lock-keywords;
Makarius Wenzel
2000-07-29
*
proper function-menu (fume) setup;
Makarius Wenzel
2000-06-16
*
new indentation setup;
Makarius Wenzel
2000-06-08
*
isar-save-with-hole-regexp: proof-no-regexp;
Makarius Wenzel
2000-06-05
*
Removed defunct comments
David Aspinall
2000-06-05
*
replaced isar-verbatim by isabelle-verbatim;
Makarius Wenzel
2000-06-04
*
improved isar-goals-font-lock-keywords;
Makarius Wenzel
2000-05-30
*
Tweak font lock exprs enough for Example.thy
David Aspinall
2000-05-29
*
Font lock exprs for goals buffer like those in Isabelle
David Aspinall
2000-05-29
*
isar-any-command-regexp;
Makarius Wenzel
2000-05-26
*
replaced proof-ids-to-regexp by isar-ids-to-regexp, which admits
Makarius Wenzel
2000-05-22
*
isar-verbatim-regexp: include \n;
Makarius Wenzel
2000-05-19
*
removed unused isar-ids;
Makarius Wenzel
2000-04-25
*
isar-tac-regexp: 'font-lock-reference-face;
Makarius Wenzel
2000-02-14
*
added isar-keywords-qed-global, isar-global-save-command-regexp;
Makarius Wenzel
2000-02-09
*
fixed isar-keywords-local-goal-regexp;
Makarius Wenzel
1999-12-30
*
tuned faces;
Makarius Wenzel
1999-11-22
*
replaced remove_thy by kill_thy (more robust);
Makarius Wenzel
1999-10-26
*
isar-keywords-proof-asm-goal;
Makarius Wenzel
1999-10-01
*
replaced isar-output-font-lock-terms by isar-output-font-lock-keywords-1;
Makarius Wenzel
1999-09-30
*
added isar-verbatim;
Makarius Wenzel
1999-09-26
*
Isabelle term / type hiliting;
Makarius Wenzel
1999-09-24
*
tuned;
Makarius Wenzel
1999-08-29
*
some output syntax;
Makarius Wenzel
1999-08-24
*
font-lock-function-face -> font-lock-function-name-face
David Aspinall
1999-08-23
*
deactivated isar-font-lock-terms (currently useless);
Makarius Wenzel
1999-08-18
*
fixed Id;
Makarius Wenzel
1999-07-28
*
isar-name-regexp: group result;
Makarius Wenzel
1999-07-27
*
fixed some regexps via proof-anchor-regexp;
Makarius Wenzel
1999-07-02
*
isar-keywords-proof-asm;
Makarius Wenzel
1999-07-01
*
removed junk;
Makarius Wenzel
1999-05-27
*
tuned keywords;
Makarius Wenzel
1999-05-26
*
improved classification of keywords (see also isar-keywords.el);
Makarius Wenzel
1999-05-23
*
tuned -- still quite unsatisfactory;
Makarius Wenzel
1999-05-21
[prev]
[next]