]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/ng_kernel/.depend.opt
Updated command ninverter. Syntax:
[helm.git] / helm / software / components / ng_kernel / .depend.opt
index 332deb32c72fc54f1dd7923d9b4525261d7ecb8a..01056b468c95b1f692351032f64b129584770b53 100644 (file)
@@ -1,4 +1,3 @@
-nUri.cmi: 
 nReference.cmi: nUri.cmi 
 nCicUtils.cmi: nCic.cmx 
 nCicSubstitution.cmi: nCic.cmx