From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 13 Apr 2006 14:21:12 +0000 (+0000)
Subject: added keyword include'
X-Git-Tag: 0.4.95@7852~1511
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ab85a7eecc1f2c9f777eae0989c92ff6a03aa695;p=helm.git

added keyword include'
---

diff --git a/matita/matita.lang b/matita/matita.lang
index f53d833b6..52459589e 100644
--- a/matita/matita.lang
+++ b/matita/matita.lang
@@ -33,6 +33,7 @@
     <keyword>default</keyword>
     <keyword>for</keyword>
     <keyword>include</keyword>
+    <keyword>include'</keyword>
     <keyword>inductive</keyword>
     <keyword>in</keyword>
     <keyword>interpretation</keyword>