X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.lang;h=6c0f4c8dcdaa69aeadee1e79cc3619afefcf4fea;hb=f34fc116009aa590a6036afa4df24f1edeafd91d;hp=bcad516e07610765a8b8ff9cf4118e3856992357;hpb=b82d421fb24bd0eb8848dc7b978ce1165fb526ab;p=helm.git

diff --git a/helm/software/matita/matita.lang b/helm/software/matita/matita.lang
index bcad516e0..6c0f4c8dc 100644
--- a/helm/software/matita/matita.lang
+++ b/helm/software/matita/matita.lang
@@ -84,6 +84,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>
@@ -176,6 +177,7 @@
     <keyword>inline</keyword>
     <keyword>procedural</keyword>
     <keyword>check</keyword>
+    <keyword>eval</keyword>
     <keyword>hint</keyword>
     <keyword>set</keyword>
     <keyword>auto</keyword>