<escape-char>\</escape-char>
+ <block-comment _name = "Commented Code" style = "Comment">
+ <start-regex>\(\*\*[^\)]</start-regex>
+ <end-regex>[^\(]\*\*\)</end-regex>
+ </block-comment>
+
<block-comment _name = "Block Comment" style = "Comment">
<start-regex>\(\*</start-regex>
<end-regex>\*\)</end-regex>
</block-comment>
-
- <block-comment _name = "Commented Code" style = "Comment">
- <start-regex>\(\*\*</start-regex>
- <end-regex>\*\*\)</end-regex>
- </block-comment>
<keyword-list _name = "Theorem Kinds" style = "Keyword" case-sensitive="TRUE">
<keyword>theorem</keyword>
<keyword>fact</keyword>
<keyword>remark</keyword>
<keyword>variant</keyword>
+ <keyword>axiom</keyword>
</keyword-list>
<keyword-list _name = "Commands" style = "Keyword" case-sensitive="TRUE">
<keyword>default</keyword>
<keyword>for</keyword>
<keyword>include</keyword>
+ <keyword>include'</keyword>
<keyword>inductive</keyword>
<keyword>in</keyword>
<keyword>interpretation</keyword>
<keyword>do</keyword>
<keyword>repeat</keyword>
<keyword>first</keyword>
+ <keyword>focus</keyword>
+ <keyword>unfocus</keyword>
</keyword-list>