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
*
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
*
deactivated '.' and '..' keywords (tmp);
Makarius Wenzel
1999-04-27
*
added "thus", "hence";
Makarius Wenzel
1999-04-23
*
initial version of 'isar proof assistant (Isabelle/Isar);
Makarius Wenzel
1999-04-16