]> matita.cs.unibo.it Git - helm.git/commitdiff
ninversion
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 31 Mar 2010 13:31:23 +0000 (13:31 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 31 Mar 2010 13:31:23 +0000 (13:31 +0000)
From: sacerdot <sacerdot@c2b2084f-9a08-0410-b176-e24b037a169a>

helm/software/matita/matita.lang

index 2ba1967a06e5aaaa6b176ff6ad05398bf929650a..478f7422579bc05a8322b95dad3292611cbe7ca1 100644 (file)
          <keyword>nchange</keyword>             
          <keyword>nrewrite</keyword>            
          <keyword>ncut</keyword>                
+         <keyword>ninversion</keyword>
          <keyword>nlapply</keyword>
          <keyword>ndestruct</keyword>