X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_content%2F.depend;h=c57b70cb8475c8e7a4bd1ae7d6129d929189ba79;hb=refs%2Fheads%2Fmatita-lablgtk3;hp=fef8792567075850eb766452dd005034b8a354f9;hpb=ea090f0da6f03b0e6cb8c58887a92a5f8915728f;p=helm.git

diff --git a/helm/software/components/acic_content/.depend b/helm/software/components/acic_content/.depend
index fef879256..c57b70cb8 100644
--- a/helm/software/components/acic_content/.depend
+++ b/helm/software/components/acic_content/.depend
@@ -1,27 +1,34 @@
-acic2content.cmi: content.cmi 
-content2cic.cmi: content.cmi 
-cicNotationUtil.cmi: cicNotationPt.cmx 
-cicNotationEnv.cmi: cicNotationPt.cmx 
-cicNotationPp.cmi: cicNotationPt.cmx cicNotationEnv.cmi 
-acic2astMatcher.cmi: cicNotationPt.cmx 
-termAcicContent.cmi: cicNotationPt.cmx 
-content.cmo: content.cmi 
-content.cmx: content.cmi 
-acic2content.cmo: content.cmi acic2content.cmi 
-acic2content.cmx: content.cmx acic2content.cmi 
-content2cic.cmo: content.cmi content2cic.cmi 
-content2cic.cmx: content.cmx content2cic.cmi 
-cicNotationUtil.cmo: cicNotationPt.cmx cicNotationUtil.cmi 
-cicNotationUtil.cmx: cicNotationPt.cmx cicNotationUtil.cmi 
-cicNotationEnv.cmo: cicNotationUtil.cmi cicNotationPt.cmx cicNotationEnv.cmi 
-cicNotationEnv.cmx: cicNotationUtil.cmx cicNotationPt.cmx cicNotationEnv.cmi 
-cicNotationPp.cmo: cicNotationPt.cmx cicNotationEnv.cmi cicNotationPp.cmi 
-cicNotationPp.cmx: cicNotationPt.cmx cicNotationEnv.cmx cicNotationPp.cmi 
-acic2astMatcher.cmo: cicNotationUtil.cmi cicNotationPt.cmx cicNotationPp.cmi \
-    acic2astMatcher.cmi 
-acic2astMatcher.cmx: cicNotationUtil.cmx cicNotationPt.cmx cicNotationPp.cmx \
-    acic2astMatcher.cmi 
-termAcicContent.cmo: cicNotationUtil.cmi cicNotationPt.cmx cicNotationPp.cmi \
-    acic2content.cmi acic2astMatcher.cmi termAcicContent.cmi 
-termAcicContent.cmx: cicNotationUtil.cmx cicNotationPt.cmx cicNotationPp.cmx \
-    acic2content.cmx acic2astMatcher.cmx termAcicContent.cmi 
+content.cmi :
+acic2content.cmi : content.cmi
+content2cic.cmi : content.cmi
+cicNotationUtil.cmi : cicNotationPt.cmo
+cicNotationEnv.cmi : cicNotationPt.cmo
+cicNotationPp.cmi : cicNotationPt.cmo cicNotationEnv.cmi
+acic2astMatcher.cmi : cicNotationPt.cmo
+termAcicContent.cmi : cicNotationPt.cmo
+cicNotationPt.cmo :
+cicNotationPt.cmx :
+content.cmo : content.cmi
+content.cmx : content.cmi
+acic2content.cmo : content.cmi acic2content.cmi
+acic2content.cmx : content.cmx acic2content.cmi
+content2cic.cmo : content.cmi content2cic.cmi
+content2cic.cmx : content.cmx content2cic.cmi
+cicNotationUtil.cmo : cicNotationPt.cmo cicNotationUtil.cmi
+cicNotationUtil.cmx : cicNotationPt.cmx cicNotationUtil.cmi
+cicNotationEnv.cmo : cicNotationUtil.cmi cicNotationPt.cmo \
+    cicNotationEnv.cmi
+cicNotationEnv.cmx : cicNotationUtil.cmx cicNotationPt.cmx \
+    cicNotationEnv.cmi
+cicNotationPp.cmo : cicNotationPt.cmo cicNotationEnv.cmi cicNotationPp.cmi
+cicNotationPp.cmx : cicNotationPt.cmx cicNotationEnv.cmx cicNotationPp.cmi
+acic2astMatcher.cmo : cicNotationUtil.cmi cicNotationPt.cmo \
+    cicNotationPp.cmi acic2astMatcher.cmi
+acic2astMatcher.cmx : cicNotationUtil.cmx cicNotationPt.cmx \
+    cicNotationPp.cmx acic2astMatcher.cmi
+termAcicContent.cmo : cicNotationUtil.cmi cicNotationPt.cmo \
+    cicNotationPp.cmi acic2content.cmi acic2astMatcher.cmi \
+    termAcicContent.cmi
+termAcicContent.cmx : cicNotationUtil.cmx cicNotationPt.cmx \
+    cicNotationPp.cmx acic2content.cmx acic2astMatcher.cmx \
+    termAcicContent.cmi