X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_content%2F.depend;h=c57b70cb8475c8e7a4bd1ae7d6129d929189ba79;hb=f9abd21eb0d26cf9b632af4df819225be4d091e3;hp=89dca0e446d48d1f05a1cda5fc3c39f1095257e3;hpb=b225178112c2c5ef1a717ac7e647d854d94b2e52;p=helm.git

diff --git a/helm/software/components/acic_content/.depend b/helm/software/components/acic_content/.depend
index 89dca0e44..c57b70cb8 100644
--- a/helm/software/components/acic_content/.depend
+++ b/helm/software/components/acic_content/.depend
@@ -1,30 +1,34 @@
-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 
+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