syntax colouring for inverters

[helm.git] / helm / software / matita / matita.lang

diff --git a/helm/software/matita/matita.lang b/helm/software/matita/matita.lang
index 949d412a527a6bec6904f95fc0709ff494dbdfa3..24e7eee28059ac6b4de0012f8a43edd6778cdd73 100644 (file)
--- 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>