some depend files

diff --git a/helm/software/components/acic_content/.depend b/helm/software/components/acic_content/.depend
index 8ade458af771b340426f4e4606d92e511c459a56..fef8792567075850eb766452dd005034b8a354f9 100644 (file)
--- 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 7829317ad8807a8d6d586b6a2b6db0b8a9f2f209..44b016d1c1513f0b50ac451e1ca0a49938822d23 100644 (file)
--- 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 20f69cf0c810c91e600fa5263c93c1b0ce86f3cb..554fb1ec771351761436b91c8d3f77c3a389d95e 100644 (file)
--- 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 dc225e2212dc37bb6eb22aa150fddf713965a312..0f64ba7893909077481333c64a3c07fe5dc62349 100644 (file)
--- 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 452167c72d320ba2037698d1a4ab8f836752a6db..7fec1d3b5a10d92a8f93860958432115df75d218 100644 (file)
--- 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 5f391bc0fed809c285d8524758583d048d061b3a..eacb26990ca8aaf8412458cbc37a9f4f67b7ebcd 100644 (file)
--- 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 f3c6a8bd17a7351e99ce8e59905fda76a37cbf08..c0cd9c9069420ca3c124fdf3a0f152838c5d121e 100644 (file)
--- 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 dbccfe6d78388ff58fb821297786df853c966f84..6c23fc90985a7ab63ef41d3b7df4b85a4779f8d2 100644 (file)
--- 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 bc310327f83551dd5875e62bfa3899e7c55559a2..c74300207fb532cff81cbdcd6146f285a05a7599 100644 (file)
--- 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