From 0bf0481ecce133b6100dbe0a1fb2da7b0ed36e04 Mon Sep 17 00:00:00 2001
From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Wed, 22 Apr 2009 11:17:44 +0000
Subject: [PATCH] syntax colouring for inverters

---
 helm/software/matita/matita.lang | 1 +
 1 file changed, 1 insertion(+)

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>
-- 
2.39.2