X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.lang;h=478f7422579bc05a8322b95dad3292611cbe7ca1;hb=1439ced76cb62f9c5f5e638c53a005c3843870ae;hp=2ba1967a06e5aaaa6b176ff6ad05398bf929650a;hpb=3bd3d3ab850c919b64e1eafc65a8cbd5499fd3b8;p=helm.git

diff --git a/helm/software/matita/matita.lang b/helm/software/matita/matita.lang
index 2ba1967a0..478f74225 100644
--- a/helm/software/matita/matita.lang
+++ b/helm/software/matita/matita.lang
@@ -193,6 +193,7 @@
          <keyword>nchange</keyword>	    	 
          <keyword>nrewrite</keyword>	    	 
          <keyword>ncut</keyword>	    	 
+         <keyword>ninversion</keyword>
          <keyword>nlapply</keyword>
          <keyword>ndestruct</keyword>