- cic_exportation, cic_acic, acic_content (only parts related to acic)

[helm.git] / matita / components / acic_content / .depend.opt

diff --git a/matita/components/acic_content/.depend.opt b/matita/components/acic_content/.depend.opt
index 307fceaa0288ab3dec50b1407588d9cb67d84bb5..a679f7253909e9c617a16c1bd90ade9742d8b873 100644 (file)
--- a/matita/components/acic_content/.depend.opt
+++ b/matita/components/acic_content/.depend.opt
@@ -1,30 +1,19 @@
 content.cmi: 
-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 
 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.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.cmi 
 termAcicContent.cmx: cicNotationUtil.cmx cicNotationPt.cmx cicNotationPp.cmx \
-    acic2content.cmx acic2astMatcher.cmx termAcicContent.cmi 
+    termAcicContent.cmi