include

diff --git a/helm/matita/matita.lang b/helm/matita/matita.lang
index f74da76e74f3cab07d94f93a6f3df70336eb1cfe..3a10765d9f96f0c324c80e86d12aeaf5daf2ac7e 100644 (file)
--- a/helm/matita/matita.lang
+++ b/helm/matita/matita.lang
@@ -23,6 +23,7 @@
   </keyword-list>
     
   <keyword-list _name = "Commands" style = "Keyword" case-sensitive="TRUE">
+    <keyword>input</keyword>
     <keyword>alias</keyword>
     <keyword>coercion</keyword>
     <keyword>coinductive</keyword>