From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sun, 24 Dec 2006 15:02:39 +0000 (+0000)
Subject: some depend files
X-Git-Tag: make_still_working~6564
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ea090f0da6f03b0e6cb8c58887a92a5f8915728f;p=helm.git

some depend files
---

diff --git a/helm/software/components/acic_content/.depend b/helm/software/components/acic_content/.depend
index 8ade458af..fef879256 100644
--- a/helm/software/components/acic_content/.depend
+++ b/helm/software/components/acic_content/.depend
@@ -1,27 +1,27 @@
 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 
+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.cmo cicNotationUtil.cmi 
+cicNotationUtil.cmo: cicNotationPt.cmx cicNotationUtil.cmi 
 cicNotationUtil.cmx: cicNotationPt.cmx cicNotationUtil.cmi 
-cicNotationEnv.cmo: cicNotationUtil.cmi cicNotationPt.cmo cicNotationEnv.cmi 
+cicNotationEnv.cmo: cicNotationUtil.cmi cicNotationPt.cmx cicNotationEnv.cmi 
 cicNotationEnv.cmx: cicNotationUtil.cmx cicNotationPt.cmx cicNotationEnv.cmi 
-cicNotationPp.cmo: cicNotationPt.cmo cicNotationEnv.cmi cicNotationPp.cmi 
+cicNotationPp.cmo: cicNotationPt.cmx cicNotationEnv.cmi cicNotationPp.cmi 
 cicNotationPp.cmx: cicNotationPt.cmx cicNotationEnv.cmx cicNotationPp.cmi 
-acic2astMatcher.cmo: cicNotationUtil.cmi cicNotationPt.cmo 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.cmo cicNotationPp.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 
diff --git a/helm/software/components/cic/.depend b/helm/software/components/cic/.depend
index 7829317ad..44b016d1c 100644
--- a/helm/software/components/cic/.depend
+++ b/helm/software/components/cic/.depend
@@ -1,27 +1,27 @@
-unshare.cmi: cic.cmo 
-deannotate.cmi: cic.cmo 
-cicParser.cmi: cic.cmo 
-cicUtil.cmi: cic.cmo 
-helmLibraryObjects.cmi: cic.cmo 
-discrimination_tree.cmi: cic.cmo 
-path_indexing.cmi: cic.cmo 
+unshare.cmi: cic.cmx 
+deannotate.cmi: cic.cmx 
+cicParser.cmi: cic.cmx 
+cicUtil.cmi: cic.cmx 
+helmLibraryObjects.cmi: cic.cmx 
+discrimination_tree.cmi: cic.cmx 
+path_indexing.cmi: cic.cmx 
 cic.cmo: cicUniv.cmi 
 cic.cmx: cicUniv.cmx 
-unshare.cmo: cic.cmo unshare.cmi 
+unshare.cmo: cic.cmx unshare.cmi 
 unshare.cmx: cic.cmx unshare.cmi 
 cicUniv.cmo: cicUniv.cmi 
 cicUniv.cmx: cicUniv.cmi 
-deannotate.cmo: cic.cmo deannotate.cmi 
+deannotate.cmo: cic.cmx deannotate.cmi 
 deannotate.cmx: cic.cmx deannotate.cmi 
-cicParser.cmo: deannotate.cmi cicUniv.cmi cic.cmo cicParser.cmi 
+cicParser.cmo: deannotate.cmi cicUniv.cmi cic.cmx cicParser.cmi 
 cicParser.cmx: deannotate.cmx cicUniv.cmx cic.cmx cicParser.cmi 
-cicUtil.cmo: cicUniv.cmi cic.cmo cicUtil.cmi 
+cicUtil.cmo: cicUniv.cmi cic.cmx cicUtil.cmi 
 cicUtil.cmx: cicUniv.cmx cic.cmx cicUtil.cmi 
-helmLibraryObjects.cmo: cic.cmo helmLibraryObjects.cmi 
+helmLibraryObjects.cmo: cic.cmx helmLibraryObjects.cmi 
 helmLibraryObjects.cmx: cic.cmx helmLibraryObjects.cmi 
 libraryObjects.cmo: libraryObjects.cmi 
 libraryObjects.cmx: libraryObjects.cmi 
-discrimination_tree.cmo: cicUtil.cmi cic.cmo discrimination_tree.cmi 
+discrimination_tree.cmo: cicUtil.cmi cic.cmx discrimination_tree.cmi 
 discrimination_tree.cmx: cicUtil.cmx cic.cmx discrimination_tree.cmi 
-path_indexing.cmo: cic.cmo path_indexing.cmi 
+path_indexing.cmo: cic.cmx path_indexing.cmi 
 path_indexing.cmx: cic.cmx path_indexing.cmi 
diff --git a/helm/software/components/getter/.depend b/helm/software/components/getter/.depend
index 20f69cf0c..554fb1ec7 100644
--- a/helm/software/components/getter/.depend
+++ b/helm/software/components/getter/.depend
@@ -1,7 +1,7 @@
-http_getter_env.cmi: http_getter_types.cmo 
-http_getter_common.cmi: http_getter_types.cmo 
-http_getter.cmi: http_getter_types.cmo 
-http_getter_wget.cmo: http_getter_types.cmo http_getter_wget.cmi 
+http_getter_env.cmi: http_getter_types.cmx 
+http_getter_common.cmi: http_getter_types.cmx 
+http_getter.cmi: http_getter_types.cmx 
+http_getter_wget.cmo: http_getter_types.cmx http_getter_wget.cmi 
 http_getter_wget.cmx: http_getter_types.cmx http_getter_wget.cmi 
 http_getter_logger.cmo: http_getter_logger.cmi 
 http_getter_logger.cmx: http_getter_logger.cmi 
@@ -9,19 +9,19 @@ http_getter_misc.cmo: http_getter_logger.cmi http_getter_misc.cmi
 http_getter_misc.cmx: http_getter_logger.cmx http_getter_misc.cmi 
 http_getter_const.cmo: http_getter_const.cmi 
 http_getter_const.cmx: http_getter_const.cmi 
-http_getter_env.cmo: http_getter_types.cmo http_getter_misc.cmi \
+http_getter_env.cmo: http_getter_types.cmx http_getter_misc.cmi \
     http_getter_logger.cmi http_getter_const.cmi http_getter_env.cmi 
 http_getter_env.cmx: http_getter_types.cmx http_getter_misc.cmx \
     http_getter_logger.cmx http_getter_const.cmx http_getter_env.cmi 
-http_getter_storage.cmo: http_getter_wget.cmi http_getter_types.cmo \
+http_getter_storage.cmo: http_getter_wget.cmi http_getter_types.cmx \
     http_getter_misc.cmi http_getter_env.cmi http_getter_storage.cmi 
 http_getter_storage.cmx: http_getter_wget.cmx http_getter_types.cmx \
     http_getter_misc.cmx http_getter_env.cmx http_getter_storage.cmi 
-http_getter_common.cmo: http_getter_types.cmo http_getter_misc.cmi \
+http_getter_common.cmo: http_getter_types.cmx http_getter_misc.cmi \
     http_getter_logger.cmi http_getter_env.cmi http_getter_common.cmi 
 http_getter_common.cmx: http_getter_types.cmx http_getter_misc.cmx \
     http_getter_logger.cmx http_getter_env.cmx http_getter_common.cmi 
-http_getter.cmo: http_getter_wget.cmi http_getter_types.cmo \
+http_getter.cmo: http_getter_wget.cmi http_getter_types.cmx \
     http_getter_storage.cmi http_getter_misc.cmi http_getter_logger.cmi \
     http_getter_env.cmi http_getter_const.cmi http_getter_common.cmi \
     http_getter.cmi 
diff --git a/helm/software/components/grafite/.depend b/helm/software/components/grafite/.depend
index dc225e221..0f64ba789 100644
--- a/helm/software/components/grafite/.depend
+++ b/helm/software/components/grafite/.depend
@@ -1,6 +1,6 @@
-grafiteAstPp.cmi: grafiteAst.cmo 
-grafiteMarshal.cmi: grafiteAst.cmo 
-grafiteAstPp.cmo: grafiteAst.cmo grafiteAstPp.cmi 
+grafiteAstPp.cmi: grafiteAst.cmx 
+grafiteMarshal.cmi: grafiteAst.cmx 
+grafiteAstPp.cmo: grafiteAst.cmx grafiteAstPp.cmi 
 grafiteAstPp.cmx: grafiteAst.cmx grafiteAstPp.cmi 
-grafiteMarshal.cmo: grafiteAstPp.cmi grafiteAst.cmo grafiteMarshal.cmi 
+grafiteMarshal.cmo: grafiteAstPp.cmi grafiteAst.cmx grafiteMarshal.cmi 
 grafiteMarshal.cmx: grafiteAstPp.cmx grafiteAst.cmx grafiteMarshal.cmi 
diff --git a/helm/software/components/lexicon/.depend b/helm/software/components/lexicon/.depend
index 452167c72..7fec1d3b5 100644
--- a/helm/software/components/lexicon/.depend
+++ b/helm/software/components/lexicon/.depend
@@ -1,18 +1,18 @@
-lexiconAstPp.cmi: lexiconAst.cmo 
-disambiguatePp.cmi: lexiconAst.cmo 
-lexiconMarshal.cmi: lexiconAst.cmo 
-cicNotation.cmi: lexiconAst.cmo 
-lexiconEngine.cmi: lexiconMarshal.cmi lexiconAst.cmo cicNotation.cmi 
+lexiconAstPp.cmi: lexiconAst.cmx 
+disambiguatePp.cmi: lexiconAst.cmx 
+lexiconMarshal.cmi: lexiconAst.cmx 
+cicNotation.cmi: lexiconAst.cmx 
+lexiconEngine.cmi: lexiconMarshal.cmi lexiconAst.cmx cicNotation.cmi 
 lexiconSync.cmi: lexiconEngine.cmi 
-lexiconAstPp.cmo: lexiconAst.cmo lexiconAstPp.cmi 
+lexiconAstPp.cmo: lexiconAst.cmx lexiconAstPp.cmi 
 lexiconAstPp.cmx: lexiconAst.cmx lexiconAstPp.cmi 
-disambiguatePp.cmo: lexiconAstPp.cmi lexiconAst.cmo disambiguatePp.cmi 
+disambiguatePp.cmo: lexiconAstPp.cmi lexiconAst.cmx disambiguatePp.cmi 
 disambiguatePp.cmx: lexiconAstPp.cmx lexiconAst.cmx disambiguatePp.cmi 
-lexiconMarshal.cmo: lexiconAstPp.cmi lexiconAst.cmo lexiconMarshal.cmi 
+lexiconMarshal.cmo: lexiconAstPp.cmi lexiconAst.cmx lexiconMarshal.cmi 
 lexiconMarshal.cmx: lexiconAstPp.cmx lexiconAst.cmx lexiconMarshal.cmi 
-cicNotation.cmo: lexiconAst.cmo cicNotation.cmi 
+cicNotation.cmo: lexiconAst.cmx cicNotation.cmi 
 cicNotation.cmx: lexiconAst.cmx cicNotation.cmi 
-lexiconEngine.cmo: lexiconMarshal.cmi lexiconAst.cmo disambiguatePp.cmi \
+lexiconEngine.cmo: lexiconMarshal.cmi lexiconAst.cmx disambiguatePp.cmi \
     cicNotation.cmi lexiconEngine.cmi 
 lexiconEngine.cmx: lexiconMarshal.cmx lexiconAst.cmx disambiguatePp.cmx \
     cicNotation.cmx lexiconEngine.cmi 
diff --git a/helm/software/components/library/.depend b/helm/software/components/library/.depend
index 5f391bc0f..eacb26990 100644
--- a/helm/software/components/library/.depend
+++ b/helm/software/components/library/.depend
@@ -1,5 +1,5 @@
-cicCoercion.cmi: refinementTool.cmo coercDb.cmi 
-librarySync.cmi: refinementTool.cmo 
+cicCoercion.cmi: refinementTool.cmx coercDb.cmi 
+librarySync.cmi: refinementTool.cmx 
 cicElim.cmo: cicElim.cmi 
 cicElim.cmx: cicElim.cmi 
 cicRecord.cmo: cicRecord.cmi 
@@ -10,9 +10,9 @@ libraryDb.cmo: libraryDb.cmi
 libraryDb.cmx: libraryDb.cmi 
 coercDb.cmo: coercDb.cmi 
 coercDb.cmx: coercDb.cmi 
-cicCoercion.cmo: refinementTool.cmo coercDb.cmi cicCoercion.cmi 
+cicCoercion.cmo: refinementTool.cmx coercDb.cmi cicCoercion.cmi 
 cicCoercion.cmx: refinementTool.cmx coercDb.cmx cicCoercion.cmi 
-librarySync.cmo: refinementTool.cmo libraryDb.cmi coercDb.cmi cicRecord.cmi \
+librarySync.cmo: refinementTool.cmx libraryDb.cmi coercDb.cmi cicRecord.cmi \
     cicElim.cmi cicCoercion.cmi librarySync.cmi 
 librarySync.cmx: refinementTool.cmx libraryDb.cmx coercDb.cmx cicRecord.cmx \
     cicElim.cmx cicCoercion.cmx librarySync.cmi 
diff --git a/helm/software/components/syntax_extensions/.depend b/helm/software/components/syntax_extensions/.depend
index f3c6a8bd1..c0cd9c906 100644
--- a/helm/software/components/syntax_extensions/.depend
+++ b/helm/software/components/syntax_extensions/.depend
@@ -1,2 +1,2 @@
-utf8Macro.cmo: utf8MacroTable.cmo utf8Macro.cmi 
+utf8Macro.cmo: utf8MacroTable.cmx utf8Macro.cmi 
 utf8Macro.cmx: utf8MacroTable.cmx utf8Macro.cmi 
diff --git a/helm/software/components/tactics/.depend b/helm/software/components/tactics/.depend
index dbccfe6d7..6c23fc909 100644
--- a/helm/software/components/tactics/.depend
+++ b/helm/software/components/tactics/.depend
@@ -53,9 +53,9 @@ proofEngineStructuralRules.cmo: proofEngineTypes.cmi \
 proofEngineStructuralRules.cmx: proofEngineTypes.cmx \
     proofEngineStructuralRules.cmi 
 primitiveTactics.cmo: tacticals.cmi reductionTactics.cmi proofEngineTypes.cmi \
-    proofEngineHelpers.cmi primitiveTactics.cmi 
+    proofEngineReduction.cmi proofEngineHelpers.cmi primitiveTactics.cmi 
 primitiveTactics.cmx: tacticals.cmx reductionTactics.cmx proofEngineTypes.cmx \
-    proofEngineHelpers.cmx primitiveTactics.cmi 
+    proofEngineReduction.cmx proofEngineHelpers.cmx primitiveTactics.cmi 
 hashtbl_equiv.cmo: hashtbl_equiv.cmi 
 hashtbl_equiv.cmx: hashtbl_equiv.cmi 
 metadataQuery.cmo: proofEngineTypes.cmi primitiveTactics.cmi \
diff --git a/helm/software/components/tptp_grafite/.depend b/helm/software/components/tptp_grafite/.depend
index bc310327f..c74300207 100644
--- a/helm/software/components/tptp_grafite/.depend
+++ b/helm/software/components/tptp_grafite/.depend
@@ -1,7 +1,7 @@
-parser.cmi: ast.cmo 
+parser.cmi: ast.cmx 
 lexer.cmo: parser.cmi 
 lexer.cmx: parser.cmx 
-parser.cmo: ast.cmo parser.cmi 
+parser.cmo: ast.cmx parser.cmi 
 parser.cmx: ast.cmx parser.cmi 
-tptp2grafite.cmo: parser.cmi lexer.cmo ast.cmo tptp2grafite.cmi 
+tptp2grafite.cmo: parser.cmi lexer.cmx ast.cmx tptp2grafite.cmi 
 tptp2grafite.cmx: parser.cmx lexer.cmx ast.cmx tptp2grafite.cmi