X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_refiner%2F.depend;h=2bd075dfcea28da1aab30a35088d8111e534dc26;hb=68b4f2490c12139c03760b39895619e63b0f38c9;hp=6d211ffe5e37f7507df2121affe276b0d59bdcb5;hpb=5b5dca0c118dfbe3ba8f0514ef07549544eb7810;p=helm.git

diff --git a/matita/components/ng_refiner/.depend b/matita/components/ng_refiner/.depend
index 6d211ffe5..2bd075dfc 100644
--- a/matita/components/ng_refiner/.depend
+++ b/matita/components/ng_refiner/.depend
@@ -1,62 +1,27 @@
-nCicCoercion.cmo : \
-    nDiscriminationTree.cmi \
-    nCicUnifHint.cmi \
-    nCicMetaSubst.cmi \
-    nCicCoercion.cmi
-nCicCoercion.cmx : \
-    nDiscriminationTree.cmx \
-    nCicUnifHint.cmx \
-    nCicMetaSubst.cmx \
-    nCicCoercion.cmi
-nCicCoercion.cmi : \
-    nCicUnifHint.cmi
-nCicMetaSubst.cmo : \
-    nCicMetaSubst.cmi
-nCicMetaSubst.cmx : \
-    nCicMetaSubst.cmi
+nCicCoercion.cmo : nDiscriminationTree.cmi nCicUnifHint.cmi \
+    nCicMetaSubst.cmi nCicCoercion.cmi
+nCicCoercion.cmx : nDiscriminationTree.cmx nCicUnifHint.cmx \
+    nCicMetaSubst.cmx nCicCoercion.cmi
+nCicCoercion.cmi : nCicUnifHint.cmi
+nCicMetaSubst.cmo : nCicMetaSubst.cmi
+nCicMetaSubst.cmx : nCicMetaSubst.cmi
 nCicMetaSubst.cmi :
-nCicRefineUtil.cmo : \
-    nCicMetaSubst.cmi \
-    nCicRefineUtil.cmi
-nCicRefineUtil.cmx : \
-    nCicMetaSubst.cmx \
-    nCicRefineUtil.cmi
+nCicRefineUtil.cmo : nCicMetaSubst.cmi nCicRefineUtil.cmi
+nCicRefineUtil.cmx : nCicMetaSubst.cmx nCicRefineUtil.cmi
 nCicRefineUtil.cmi :
-nCicRefiner.cmo : \
-    nCicUnification.cmi \
-    nCicRefineUtil.cmi \
-    nCicMetaSubst.cmi \
-    nCicCoercion.cmi \
-    nCicRefiner.cmi
-nCicRefiner.cmx : \
-    nCicUnification.cmx \
-    nCicRefineUtil.cmx \
-    nCicMetaSubst.cmx \
-    nCicCoercion.cmx \
-    nCicRefiner.cmi
-nCicRefiner.cmi : \
-    nCicCoercion.cmi
-nCicUnifHint.cmo : \
-    nDiscriminationTree.cmi \
-    nCicMetaSubst.cmi \
+nCicRefiner.cmo : nCicUnification.cmi nCicRefineUtil.cmi nCicMetaSubst.cmi \
+    nCicCoercion.cmi nCicRefiner.cmi
+nCicRefiner.cmx : nCicUnification.cmx nCicRefineUtil.cmx nCicMetaSubst.cmx \
+    nCicCoercion.cmx nCicRefiner.cmi
+nCicRefiner.cmi : nCicCoercion.cmi
+nCicUnifHint.cmo : nDiscriminationTree.cmi nCicMetaSubst.cmi \
     nCicUnifHint.cmi
-nCicUnifHint.cmx : \
-    nDiscriminationTree.cmx \
-    nCicMetaSubst.cmx \
+nCicUnifHint.cmx : nDiscriminationTree.cmx nCicMetaSubst.cmx \
     nCicUnifHint.cmi
 nCicUnifHint.cmi :
-nCicUnification.cmo : \
-    nCicUnifHint.cmi \
-    nCicMetaSubst.cmi \
-    nCicUnification.cmi
-nCicUnification.cmx : \
-    nCicUnifHint.cmx \
-    nCicMetaSubst.cmx \
-    nCicUnification.cmi
-nCicUnification.cmi : \
-    nCicCoercion.cmi
-nDiscriminationTree.cmo : \
-    nDiscriminationTree.cmi
-nDiscriminationTree.cmx : \
-    nDiscriminationTree.cmi
+nCicUnification.cmo : nCicUnifHint.cmi nCicMetaSubst.cmi nCicUnification.cmi
+nCicUnification.cmx : nCicUnifHint.cmx nCicMetaSubst.cmx nCicUnification.cmi
+nCicUnification.cmi : nCicCoercion.cmi
+nDiscriminationTree.cmo : nDiscriminationTree.cmi
+nDiscriminationTree.cmx : nDiscriminationTree.cmi
 nDiscriminationTree.cmi :