From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Wed, 22 Apr 2009 11:17:44 +0000 (+0000)
Subject: syntax colouring for inverters
X-Git-Tag: make_still_working~4061
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0bf0481ecce133b6100dbe0a1fb2da7b0ed36e04;p=helm.git

syntax colouring for inverters
---

diff --git a/helm/software/matita/matita.lang b/helm/software/matita/matita.lang
index 949d412a5..24e7eee28 100644
--- a/helm/software/matita/matita.lang
+++ b/helm/software/matita/matita.lang
@@ -37,6 +37,7 @@
     <keyword>include</keyword>
     <keyword>include'</keyword>
     <keyword>inductive</keyword>
+    <keyword>inverter</keyword>
     <keyword>in</keyword>
     <keyword>interpretation</keyword>
     <keyword>let</keyword>