From 7776cfcf5101a263b52f0b8cdee0bc0c8d824533 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 31 Mar 2010 13:31:23 +0000
Subject: [PATCH] ninversion

From: sacerdot <sacerdot@c2b2084f-9a08-0410-b176-e24b037a169a>
---
 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 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> 
 
-- 
2.39.2