<block-comment _name = "Commented Code" style = "Comment">
<start-regex>\(\*\*[^\)]</start-regex>
- <end-regex>[^\(]\*\*\)</end-regex>
+ <end-regex>[^\(]\*\)</end-regex>
</block-comment>
<block-comment _name = "Block Comment" style = "Comment">
<keyword>unification</keyword>
<keyword>hint</keyword>
<keyword>ncoercion</keyword>
+ <keyword>ninverter</keyword>
<keyword>nqed</keyword>
</keyword-list>
<keyword>nwhd</keyword>
<keyword>nnormalize</keyword>
<keyword>nassumption</keyword>
+ <keyword>ngeneralize</keyword>
+ <keyword>nchange</keyword>
+ <keyword>nrewrite</keyword>
+ <keyword>ncut</keyword>
+ <keyword>nlapply</keyword>
</keyword-list>
<keyword-list _name = "Tacticals" style = "Keyword" case-sensitive="TRUE">