<keyword>whd</keyword>
</keyword-list>
+ <keyword-list _name = "Tacticals" style = "Keyword" case-sensitive="TRUE">
+ <keyword>try</keyword>
+ <keyword>solve</keyword>
+ <keyword>do</keyword>
+ <keyword>repeat</keyword>
+ <keyword>first</keyword>
+ </keyword-list>
+
<keyword-list _name = "Matita Macro" style = "Others 3" case-sensitive="TRUE">
<keyword>print</keyword>