X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.lang;h=b28793780d890719bf23c3edbd3c596f3cdd05ea;hb=22964c949671af4b5e739b06b915a81a4fc2c5b5;hp=439440710b29ef8edf95eeb589ca8e85af35dd11;hpb=e67aacd065c5f2bb90dc6b07850b4f4c2bc865fc;p=helm.git

diff --git a/helm/matita/matita.lang b/helm/matita/matita.lang
index 439440710..b28793780 100644
--- a/helm/matita/matita.lang
+++ b/helm/matita/matita.lang
@@ -23,11 +23,13 @@
   </keyword-list>
     
   <keyword-list _name = "Commands" style = "Keyword" case-sensitive="TRUE">
+    <keyword>include</keyword>
     <keyword>alias</keyword>
     <keyword>coercion</keyword>
     <keyword>coinductive</keyword>
     <keyword>corec</keyword>
     <keyword>in</keyword>
+    <keyword>on</keyword>
     <keyword>inductive</keyword>
     <keyword>let</keyword>
     <keyword>match</keyword>