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

added keyword include'
---

diff --git a/helm/software/matita/matita.lang b/helm/software/matita/matita.lang
index f53d833b6..52459589e 100644
--- a/helm/software/matita/matita.lang
+++ b/helm/software/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>