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=f6399321e10908edb312decfbd18474deec07544;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/acic_content/.depend b/helm/software/components/acic_content/.depend
index f6399321e..c57b70cb8 100644
--- a/helm/software/components/acic_content/.depend
+++ b/helm/software/components/acic_content/.depend
@@ -1,30 +1,34 @@
-contentPp.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 
-content.cmo: content.cmi 
-content.cmx: content.cmi 
-contentPp.cmo: content.cmi contentPp.cmi 
-contentPp.cmx: content.cmx contentPp.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 \
-    acic2astMatcher.cmi termAcicContent.cmi 
-termAcicContent.cmx: cicNotationUtil.cmx cicNotationPt.cmx cicNotationPp.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