added an exception

[helm.git] / helm / software / matita / matita.lang

diff --git a/helm/software/matita/matita.lang b/helm/software/matita/matita.lang
index 6c0f4c8dcdaa69aeadee1e79cc3619afefcf4fea..949d412a527a6bec6904f95fc0709ff494dbdfa3 100644 (file)
--- a/helm/software/matita/matita.lang
+++ b/helm/software/matita/matita.lang
@@ -28,6 +28,7 @@
     <keyword>and</keyword>
     <keyword>as</keyword>
     <keyword>coercion</keyword>
+    <keyword>prefer</keyword>
     <keyword>nocomposites</keyword>
     <keyword>coinductive</keyword>
     <keyword>corec</keyword>
@@ -158,6 +159,7 @@
     <keyword>obtain</keyword>           
     <keyword>conclude</keyword>                 
     <keyword>done</keyword>             
+    <keyword>rule</keyword>             
 </keyword-list>
 
   <keyword-list _name = "Tacticals" style = "Keyword" case-sensitive="TRUE">