- transcript: bugfix

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

diff --git a/helm/software/matita/matita.lang b/helm/software/matita/matita.lang
index bcad516e07610765a8b8ff9cf4118e3856992357..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>
@@ -84,6 +85,7 @@
   <keyword-list _name = "Tactics" style = "Others 2" case-sensitive="TRUE">
     <keyword>absurd</keyword>
     <keyword>apply</keyword>
+    <keyword>applyP</keyword>
     <keyword>assumption</keyword>
     <keyword>autobatch</keyword>
     <keyword>cases</keyword>
@@ -157,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">
@@ -176,6 +179,7 @@
     <keyword>inline</keyword>
     <keyword>procedural</keyword>
     <keyword>check</keyword>
+    <keyword>eval</keyword>
     <keyword>hint</keyword>
     <keyword>set</keyword>
     <keyword>auto</keyword>