absolute path and factorization for matita.basedir

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

diff --git a/helm/software/matita/matita.lang b/helm/software/matita/matita.lang
index 0c181ee4480269bf55ec473df745108fc03e825e..d0223158856eeee49980978b26deaa3eee60357d 100644 (file)
--- a/helm/software/matita/matita.lang
+++ b/helm/software/matita/matita.lang
@@ -108,6 +108,7 @@
     <keyword>injection</keyword>
     <keyword>intro</keyword>
     <keyword>intros</keyword>
+    <keyword>inversion</keyword>
     <keyword>lapply</keyword>
     <keyword>left</keyword>
     <keyword>letin</keyword>