we rebuilt the dependences

diff --git a/helm/software/components/acic_content/.depend b/helm/software/components/acic_content/.depend
index 89dca0e446d48d1f05a1cda5fc3c39f1095257e3..8ade458af771b340426f4e4606d92e511c459a56 100644 (file)
--- a/helm/software/components/acic_content/.depend
+++ b/helm/software/components/acic_content/.depend
@@ -1,4 +1,3 @@
-content.cmi: 
 acic2content.cmi: content.cmi 
 content2cic.cmi: content.cmi 
 cicNotationUtil.cmi: cicNotationPt.cmo 
@@ -6,8 +5,6 @@ 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 

diff --git a/helm/software/components/acic_content/.depend.opt b/helm/software/components/acic_content/.depend.opt
index 307fceaa0288ab3dec50b1407588d9cb67d84bb5..fef8792567075850eb766452dd005034b8a354f9 100644 (file)
--- a/helm/software/components/acic_content/.depend.opt
+++ b/helm/software/components/acic_content/.depend.opt
@@ -1,4 +1,3 @@
-content.cmi: 
 acic2content.cmi: content.cmi 
 content2cic.cmi: content.cmi 
 cicNotationUtil.cmi: cicNotationPt.cmx 
@@ -6,8 +5,6 @@ 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 

diff --git a/helm/software/components/acic_procedural/.depend b/helm/software/components/acic_procedural/.depend
index bb44e4dfb12020b37879934e54e0cc654e5875b4..122ed19388e3e115971b600f09ac78909116af40 100644 (file)
--- a/helm/software/components/acic_procedural/.depend
+++ b/helm/software/components/acic_procedural/.depend
@@ -1,12 +1,5 @@
-proceduralHelpers.cmi: 
-proceduralClassify.cmi: 
-proceduralOptimizer.cmi: 
-proceduralTypes.cmi: 
-proceduralMode.cmi: 
-proceduralConversion.cmi: 
 procedural1.cmi: proceduralTypes.cmi 
 proceduralTeX.cmi: proceduralTypes.cmi 
-acic2Procedural.cmi: 
 proceduralHelpers.cmo: proceduralHelpers.cmi 
 proceduralHelpers.cmx: proceduralHelpers.cmi 
 proceduralClassify.cmo: proceduralHelpers.cmi proceduralClassify.cmi 

diff --git a/helm/software/components/acic_procedural/.depend.opt b/helm/software/components/acic_procedural/.depend.opt
index bb44e4dfb12020b37879934e54e0cc654e5875b4..122ed19388e3e115971b600f09ac78909116af40 100644 (file)
--- a/helm/software/components/acic_procedural/.depend.opt
+++ b/helm/software/components/acic_procedural/.depend.opt
@@ -1,12 +1,5 @@
-proceduralHelpers.cmi: 
-proceduralClassify.cmi: 
-proceduralOptimizer.cmi: 
-proceduralTypes.cmi: 
-proceduralMode.cmi: 
-proceduralConversion.cmi: 
 procedural1.cmi: proceduralTypes.cmi 
 proceduralTeX.cmi: proceduralTypes.cmi 
-acic2Procedural.cmi: 
 proceduralHelpers.cmo: proceduralHelpers.cmi 
 proceduralHelpers.cmx: proceduralHelpers.cmi 
 proceduralClassify.cmo: proceduralHelpers.cmi proceduralClassify.cmi 

diff --git a/helm/software/components/binaries/extractor/.depend b/helm/software/components/binaries/extractor/.depend
index 0c39328ae147e8ab714b2d3a7b1582a011b2b1d6..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391 100644 (file)
--- a/helm/software/components/binaries/extractor/.depend
+++ b/helm/software/components/binaries/extractor/.depend
@@ -1,4 +0,0 @@
-extractor.cmo: 
-extractor.cmx: 
-extractor_manager.cmo: 
-extractor_manager.cmx: 

diff --git a/helm/software/components/binaries/extractor/.depend.opt b/helm/software/components/binaries/extractor/.depend.opt
index 0c39328ae147e8ab714b2d3a7b1582a011b2b1d6..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391 100644 (file)
--- a/helm/software/components/binaries/extractor/.depend.opt
+++ b/helm/software/components/binaries/extractor/.depend.opt
@@ -1,4 +0,0 @@
-extractor.cmo: 
-extractor.cmx: 
-extractor_manager.cmo: 
-extractor_manager.cmx: 

diff --git a/helm/software/components/binaries/table_creator/.depend b/helm/software/components/binaries/table_creator/.depend
index 33147b94948d28fc9c7132773964d2547472c2ba..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391 100644 (file)
--- a/helm/software/components/binaries/table_creator/.depend
+++ b/helm/software/components/binaries/table_creator/.depend
@@ -1,2 +0,0 @@
-table_creator.cmo: 
-table_creator.cmx: 

diff --git a/helm/software/components/binaries/table_creator/.depend.opt b/helm/software/components/binaries/table_creator/.depend.opt
index 33147b94948d28fc9c7132773964d2547472c2ba..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391 100644 (file)
--- a/helm/software/components/binaries/table_creator/.depend.opt
+++ b/helm/software/components/binaries/table_creator/.depend.opt
@@ -1,2 +0,0 @@
-table_creator.cmo: 
-table_creator.cmx: 

diff --git a/helm/software/components/binaries/transcript/.depend b/helm/software/components/binaries/transcript/.depend
index e2fae069bef4ede5d1a8526dba4ea03aada86fa8..bb6f22a64b02f88c3881f2c3f490d7f81b186897 100644 (file)
--- a/helm/software/components/binaries/transcript/.depend
+++ b/helm/software/components/binaries/transcript/.depend
@@ -11,9 +11,9 @@ grafiteLexer.cmo: options.cmo grafiteParser.cmi
 grafiteLexer.cmx: options.cmx grafiteParser.cmx 
 grafite.cmo: types.cmo options.cmo grafite.cmi 
 grafite.cmx: types.cmx options.cmx grafite.cmi 
-engine.cmo: types.cmo options.cmo grafite.cmi gallina8Parser.cmi \
-    gallina8Lexer.cmo engine.cmi 
-engine.cmx: types.cmx options.cmx grafite.cmx gallina8Parser.cmx \
-    gallina8Lexer.cmx engine.cmi 
+engine.cmo: types.cmo options.cmo grafiteParser.cmi grafiteLexer.cmo \
+    grafite.cmi gallina8Parser.cmi gallina8Lexer.cmo engine.cmi 
+engine.cmx: types.cmx options.cmx grafiteParser.cmx grafiteLexer.cmx \
+    grafite.cmx gallina8Parser.cmx gallina8Lexer.cmx engine.cmi 
 top.cmo: options.cmo engine.cmi 
 top.cmx: options.cmx engine.cmx 

diff --git a/helm/software/components/cic/.depend b/helm/software/components/cic/.depend
index 36b6f6f0d9999dbab0162987c235c88e2ee5340c..595fd4b3ac7a90f2e1372aa09118ec4b611a33dc 100644 (file)
--- a/helm/software/components/cic/.depend
+++ b/helm/software/components/cic/.depend
@@ -1,4 +1,3 @@
-cicUniv.cmi: 
 unshare.cmi: cic.cmo 
 deannotate.cmi: cic.cmo 
 cicParser.cmi: cic.cmo 

diff --git a/helm/software/components/cic/.depend.opt b/helm/software/components/cic/.depend.opt
index cdbbb83233c630f5f6e192d47afabae1bf33a3d1..0ff8e697c7e70779389fcd59cb9fb1d58bbc91ea 100644 (file)
--- a/helm/software/components/cic/.depend.opt
+++ b/helm/software/components/cic/.depend.opt
@@ -1,4 +1,3 @@
-cicUniv.cmi: 
 unshare.cmi: cic.cmx 
 deannotate.cmi: cic.cmx 
 cicParser.cmi: cic.cmx 

diff --git a/helm/software/components/cic_acic/.depend b/helm/software/components/cic_acic/.depend
index 5449d50aaa2d43c1a8126f0561177e904f0975da..3fc1e0dce9eedda1f0bb74a669ad175582f03e06 100644 (file)
--- a/helm/software/components/cic_acic/.depend
+++ b/helm/software/components/cic_acic/.depend
@@ -1,6 +1,3 @@
-eta_fixing.cmi: 
-doubleTypeInference.cmi: 
-cic2acic.cmi: 
 cic2Xml.cmi: cic2acic.cmi 
 eta_fixing.cmo: eta_fixing.cmi 
 eta_fixing.cmx: eta_fixing.cmi 

diff --git a/helm/software/components/cic_acic/.depend.opt b/helm/software/components/cic_acic/.depend.opt
index 5449d50aaa2d43c1a8126f0561177e904f0975da..3fc1e0dce9eedda1f0bb74a669ad175582f03e06 100644 (file)
--- a/helm/software/components/cic_acic/.depend.opt
+++ b/helm/software/components/cic_acic/.depend.opt
@@ -1,6 +1,3 @@
-eta_fixing.cmi: 
-doubleTypeInference.cmi: 
-cic2acic.cmi: 
 cic2Xml.cmi: cic2acic.cmi 
 eta_fixing.cmo: eta_fixing.cmi 
 eta_fixing.cmx: eta_fixing.cmi 

diff --git a/helm/software/components/cic_disambiguation/.depend b/helm/software/components/cic_disambiguation/.depend
index a9ae65a5e3c4c3df2f8aaca3b2762c794bee6bd5..e9bd1168f73e4e834b02480bca0e67e381fc4997 100644 (file)
--- a/helm/software/components/cic_disambiguation/.depend
+++ b/helm/software/components/cic_disambiguation/.depend
@@ -1,5 +1,3 @@
-cicDisambiguate.cmi: 
-disambiguateChoices.cmi: 
 cicDisambiguate.cmo: cicDisambiguate.cmi 
 cicDisambiguate.cmx: cicDisambiguate.cmi 
 disambiguateChoices.cmo: disambiguateChoices.cmi 

diff --git a/helm/software/components/cic_disambiguation/.depend.opt b/helm/software/components/cic_disambiguation/.depend.opt
index a9ae65a5e3c4c3df2f8aaca3b2762c794bee6bd5..e9bd1168f73e4e834b02480bca0e67e381fc4997 100644 (file)
--- a/helm/software/components/cic_disambiguation/.depend.opt
+++ b/helm/software/components/cic_disambiguation/.depend.opt
@@ -1,5 +1,3 @@
-cicDisambiguate.cmi: 
-disambiguateChoices.cmi: 
 cicDisambiguate.cmo: cicDisambiguate.cmi 
 cicDisambiguate.cmx: cicDisambiguate.cmi 
 disambiguateChoices.cmo: disambiguateChoices.cmi 

diff --git a/helm/software/components/cic_exportation/.depend b/helm/software/components/cic_exportation/.depend
index 91be8d88d36bf6f3df5cd920db6a75f80a5ff64d..288ea5f6cf50f1cb6bb8ff00d53a0262825c3459 100644 (file)
--- a/helm/software/components/cic_exportation/.depend
+++ b/helm/software/components/cic_exportation/.depend
@@ -1,3 +1,2 @@
-cicExportation.cmi: 
 cicExportation.cmo: cicExportation.cmi 
 cicExportation.cmx: cicExportation.cmi 

diff --git a/helm/software/components/cic_exportation/.depend.opt b/helm/software/components/cic_exportation/.depend.opt
index 91be8d88d36bf6f3df5cd920db6a75f80a5ff64d..288ea5f6cf50f1cb6bb8ff00d53a0262825c3459 100644 (file)
--- a/helm/software/components/cic_exportation/.depend.opt
+++ b/helm/software/components/cic_exportation/.depend.opt
@@ -1,3 +1,2 @@
-cicExportation.cmi: 
 cicExportation.cmo: cicExportation.cmi 
 cicExportation.cmx: cicExportation.cmi 

diff --git a/helm/software/components/cic_proof_checking/.depend b/helm/software/components/cic_proof_checking/.depend
index f8a16629ebd091a0c9e60b948c7e2eedb8908a16..5d83fd0f3d146e2d80ead2d8eb5c34b162a5835f 100644 (file)
--- a/helm/software/components/cic_proof_checking/.depend
+++ b/helm/software/components/cic_proof_checking/.depend
@@ -1,13 +1,3 @@
-cicLogger.cmi: 
-cicEnvironment.cmi: 
-cicPp.cmi: 
-cicUnivUtils.cmi: 
-cicSubstitution.cmi: 
-cicMiniReduction.cmi: 
-cicReduction.cmi: 
-cicTypeChecker.cmi: 
-freshNamesGenerator.cmi: 
-cicDischarge.cmi: 
 cicLogger.cmo: cicLogger.cmi 
 cicLogger.cmx: cicLogger.cmi 
 cicEnvironment.cmo: cicEnvironment.cmi 

diff --git a/helm/software/components/cic_proof_checking/.depend.opt b/helm/software/components/cic_proof_checking/.depend.opt
index f8a16629ebd091a0c9e60b948c7e2eedb8908a16..5d83fd0f3d146e2d80ead2d8eb5c34b162a5835f 100644 (file)
--- a/helm/software/components/cic_proof_checking/.depend.opt
+++ b/helm/software/components/cic_proof_checking/.depend.opt
@@ -1,13 +1,3 @@
-cicLogger.cmi: 
-cicEnvironment.cmi: 
-cicPp.cmi: 
-cicUnivUtils.cmi: 
-cicSubstitution.cmi: 
-cicMiniReduction.cmi: 
-cicReduction.cmi: 
-cicTypeChecker.cmi: 
-freshNamesGenerator.cmi: 
-cicDischarge.cmi: 
 cicLogger.cmo: cicLogger.cmi 
 cicLogger.cmx: cicLogger.cmi 
 cicEnvironment.cmo: cicEnvironment.cmi 

diff --git a/helm/software/components/cic_unification/.depend b/helm/software/components/cic_unification/.depend
index 2e054f73d4e69376cc89138609538274bd8fe6d8..a7b23ceb4e8ba6ae3fdc2fa8352ce69acbde78b0 100644 (file)
--- a/helm/software/components/cic_unification/.depend
+++ b/helm/software/components/cic_unification/.depend
@@ -1,10 +1,3 @@
-cicMetaSubst.cmi: 
-cicMkImplicit.cmi: 
-termUtil.cmi: 
-coercGraph.cmi: 
-cicUnification.cmi: 
-cicReplace.cmi: 
-cicRefine.cmi: 
 cicMetaSubst.cmo: cicMetaSubst.cmi 
 cicMetaSubst.cmx: cicMetaSubst.cmi 
 cicMkImplicit.cmo: cicMkImplicit.cmi 

diff --git a/helm/software/components/cic_unification/.depend.opt b/helm/software/components/cic_unification/.depend.opt
index 2e054f73d4e69376cc89138609538274bd8fe6d8..a7b23ceb4e8ba6ae3fdc2fa8352ce69acbde78b0 100644 (file)
--- a/helm/software/components/cic_unification/.depend.opt
+++ b/helm/software/components/cic_unification/.depend.opt
@@ -1,10 +1,3 @@
-cicMetaSubst.cmi: 
-cicMkImplicit.cmi: 
-termUtil.cmi: 
-coercGraph.cmi: 
-cicUnification.cmi: 
-cicReplace.cmi: 
-cicRefine.cmi: 
 cicMetaSubst.cmo: cicMetaSubst.cmi 
 cicMetaSubst.cmx: cicMetaSubst.cmi 
 cicMkImplicit.cmo: cicMkImplicit.cmi 

diff --git a/helm/software/components/content_pres/.depend b/helm/software/components/content_pres/.depend
index 8d74439eb72834455b6f06006f1f5534312a3a51..6dd0e78a19212937b664b03fb796d8aaf496dbbb 100644 (file)
--- a/helm/software/components/content_pres/.depend
+++ b/helm/software/components/content_pres/.depend
@@ -1,9 +1,3 @@
-renderingAttrs.cmi: 
-cicNotationLexer.cmi: 
-cicNotationParser.cmi: 
-mpresentation.cmi: 
-box.cmi: 
-content2presMatcher.cmi: 
 termContentPres.cmi: cicNotationParser.cmi 
 boxPp.cmi: mpresentation.cmi cicNotationPres.cmi box.cmi 
 cicNotationPres.cmi: mpresentation.cmi box.cmi 

diff --git a/helm/software/components/content_pres/.depend.opt b/helm/software/components/content_pres/.depend.opt
index 8d74439eb72834455b6f06006f1f5534312a3a51..6dd0e78a19212937b664b03fb796d8aaf496dbbb 100644 (file)
--- a/helm/software/components/content_pres/.depend.opt
+++ b/helm/software/components/content_pres/.depend.opt
@@ -1,9 +1,3 @@
-renderingAttrs.cmi: 
-cicNotationLexer.cmi: 
-cicNotationParser.cmi: 
-mpresentation.cmi: 
-box.cmi: 
-content2presMatcher.cmi: 
 termContentPres.cmi: cicNotationParser.cmi 
 boxPp.cmi: mpresentation.cmi cicNotationPres.cmi box.cmi 
 cicNotationPres.cmi: mpresentation.cmi box.cmi 

diff --git a/helm/software/components/disambiguation/.depend b/helm/software/components/disambiguation/.depend
index 9fdbeeeafa878cfe32dbf1f96adaad1e3044a4eb..aba9ffea7f8db60089a7cf1831da09dcf9d0c67d 100644 (file)
--- a/helm/software/components/disambiguation/.depend
+++ b/helm/software/components/disambiguation/.depend
@@ -1,4 +1,3 @@
-disambiguateTypes.cmi: 
 disambiguate.cmi: disambiguateTypes.cmi 
 multiPassDisambiguator.cmi: disambiguateTypes.cmi disambiguate.cmi 
 disambiguateTypes.cmo: disambiguateTypes.cmi 

diff --git a/helm/software/components/disambiguation/.depend.opt b/helm/software/components/disambiguation/.depend.opt
index 9fdbeeeafa878cfe32dbf1f96adaad1e3044a4eb..aba9ffea7f8db60089a7cf1831da09dcf9d0c67d 100644 (file)
--- a/helm/software/components/disambiguation/.depend.opt
+++ b/helm/software/components/disambiguation/.depend.opt
@@ -1,4 +1,3 @@
-disambiguateTypes.cmi: 
 disambiguate.cmi: disambiguateTypes.cmi 
 multiPassDisambiguator.cmi: disambiguateTypes.cmi disambiguate.cmi 
 disambiguateTypes.cmo: disambiguateTypes.cmi 

diff --git a/helm/software/components/extlib/.depend b/helm/software/components/extlib/.depend
index 3f72e1d248c45af35b871360f1b6e5e47d6363b7..6d96e61e208bef26caadc6f9c5f7c049cf588648 100644 (file)
--- a/helm/software/components/extlib/.depend
+++ b/helm/software/components/extlib/.depend
@@ -1,12 +1,3 @@
-componentsConf.cmi: 
-hExtlib.cmi: 
-hMarshal.cmi: 
-patternMatcher.cmi: 
-hLog.cmi: 
-trie.cmi: 
-hTopoSort.cmi: 
-refCounter.cmi: 
-graphvizPp.cmi: 
 componentsConf.cmo: componentsConf.cmi 
 componentsConf.cmx: componentsConf.cmi 
 hExtlib.cmo: hExtlib.cmi 

diff --git a/helm/software/components/extlib/.depend.opt b/helm/software/components/extlib/.depend.opt
index 3f72e1d248c45af35b871360f1b6e5e47d6363b7..6d96e61e208bef26caadc6f9c5f7c049cf588648 100644 (file)
--- a/helm/software/components/extlib/.depend.opt
+++ b/helm/software/components/extlib/.depend.opt
@@ -1,12 +1,3 @@
-componentsConf.cmi: 
-hExtlib.cmi: 
-hMarshal.cmi: 
-patternMatcher.cmi: 
-hLog.cmi: 
-trie.cmi: 
-hTopoSort.cmi: 
-refCounter.cmi: 
-graphvizPp.cmi: 
 componentsConf.cmo: componentsConf.cmi 
 componentsConf.cmx: componentsConf.cmi 
 hExtlib.cmo: hExtlib.cmi 

diff --git a/helm/software/components/getter/.depend b/helm/software/components/getter/.depend
index ca64d8ec04f2c9e9b431d4921064c88bbb7587c9..20f69cf0c810c91e600fa5263c93c1b0ce86f3cb 100644 (file)
--- a/helm/software/components/getter/.depend
+++ b/helm/software/components/getter/.depend
@@ -1,13 +1,6 @@
-http_getter_wget.cmi: 
-http_getter_logger.cmi: 
-http_getter_misc.cmi: 
-http_getter_const.cmi: 
 http_getter_env.cmi: http_getter_types.cmo 
-http_getter_storage.cmi: 
 http_getter_common.cmi: http_getter_types.cmo 
 http_getter.cmi: http_getter_types.cmo 
-http_getter_types.cmo: 
-http_getter_types.cmx: 
 http_getter_wget.cmo: http_getter_types.cmo http_getter_wget.cmi 
 http_getter_wget.cmx: http_getter_types.cmx http_getter_wget.cmi 
 http_getter_logger.cmo: http_getter_logger.cmi 

diff --git a/helm/software/components/getter/.depend.opt b/helm/software/components/getter/.depend.opt
index 64da37f137deef8a5baebcbd07ba8f62cbf8e39c..554fb1ec771351761436b91c8d3f77c3a389d95e 100644 (file)
--- a/helm/software/components/getter/.depend.opt
+++ b/helm/software/components/getter/.depend.opt
@@ -1,13 +1,6 @@
-http_getter_wget.cmi: 
-http_getter_logger.cmi: 
-http_getter_misc.cmi: 
-http_getter_const.cmi: 
 http_getter_env.cmi: http_getter_types.cmx 
-http_getter_storage.cmi: 
 http_getter_common.cmi: http_getter_types.cmx 
 http_getter.cmi: http_getter_types.cmx 
-http_getter_types.cmo: 
-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 

diff --git a/helm/software/components/grafite/.depend b/helm/software/components/grafite/.depend
index f305b15803a9f6b7f87ab353a1e871afb8f6a1a5..dc225e2212dc37bb6eb22aa150fddf713965a312 100644 (file)
--- a/helm/software/components/grafite/.depend
+++ b/helm/software/components/grafite/.depend
@@ -1,7 +1,5 @@
 grafiteAstPp.cmi: grafiteAst.cmo 
 grafiteMarshal.cmi: grafiteAst.cmo 
-grafiteAst.cmo: 
-grafiteAst.cmx: 
 grafiteAstPp.cmo: grafiteAst.cmo grafiteAstPp.cmi 
 grafiteAstPp.cmx: grafiteAst.cmx grafiteAstPp.cmi 
 grafiteMarshal.cmo: grafiteAstPp.cmi grafiteAst.cmo grafiteMarshal.cmi 

diff --git a/helm/software/components/grafite/.depend.opt b/helm/software/components/grafite/.depend.opt
index e01d5bbfa69e67b34b9eaa941cf4a3c4351c174c..0f64ba7893909077481333c64a3c07fe5dc62349 100644 (file)
--- a/helm/software/components/grafite/.depend.opt
+++ b/helm/software/components/grafite/.depend.opt
@@ -1,7 +1,5 @@
 grafiteAstPp.cmi: grafiteAst.cmx 
 grafiteMarshal.cmi: grafiteAst.cmx 
-grafiteAst.cmo: 
-grafiteAst.cmx: 
 grafiteAstPp.cmo: grafiteAst.cmx grafiteAstPp.cmi 
 grafiteAstPp.cmx: grafiteAst.cmx grafiteAstPp.cmi 
 grafiteMarshal.cmo: grafiteAstPp.cmi grafiteAst.cmx grafiteMarshal.cmi 

diff --git a/helm/software/components/grafite_engine/.depend b/helm/software/components/grafite_engine/.depend
index 2dca47091ba6d7eb068e394a7f5b5cd02fcd83bf..b0d4b7048ba7d34ad668443037fa5c8cb6676fff 100644 (file)
--- a/helm/software/components/grafite_engine/.depend
+++ b/helm/software/components/grafite_engine/.depend
@@ -1,4 +1,3 @@
-grafiteTypes.cmi: 
 grafiteSync.cmi: grafiteTypes.cmi 
 grafiteEngine.cmi: grafiteTypes.cmi 
 grafiteTypes.cmo: grafiteTypes.cmi 

diff --git a/helm/software/components/grafite_engine/.depend.opt b/helm/software/components/grafite_engine/.depend.opt
index 2dca47091ba6d7eb068e394a7f5b5cd02fcd83bf..b0d4b7048ba7d34ad668443037fa5c8cb6676fff 100644 (file)
--- a/helm/software/components/grafite_engine/.depend.opt
+++ b/helm/software/components/grafite_engine/.depend.opt
@@ -1,4 +1,3 @@
-grafiteTypes.cmi: 
 grafiteSync.cmi: grafiteTypes.cmi 
 grafiteEngine.cmi: grafiteTypes.cmi 
 grafiteTypes.cmo: grafiteTypes.cmi 

diff --git a/helm/software/components/grafite_parser/.depend b/helm/software/components/grafite_parser/.depend
index 568021042684013f5bb7d87edc4ae50522d7186b..9fb3357e76d2d747ce0f220996d5fc4e1ff97868 100644 (file)
--- a/helm/software/components/grafite_parser/.depend
+++ b/helm/software/components/grafite_parser/.depend
@@ -1,9 +1,4 @@
-dependenciesParser.cmi: 
-grafiteParser.cmi: 
-cicNotation2.cmi: 
-grafiteDisambiguate.cmi: 
 grafiteWalker.cmi: grafiteParser.cmi 
-print_grammar.cmi: 
 dependenciesParser.cmo: dependenciesParser.cmi 
 dependenciesParser.cmx: dependenciesParser.cmi 
 grafiteParser.cmo: grafiteParser.cmi 

diff --git a/helm/software/components/grafite_parser/.depend.opt b/helm/software/components/grafite_parser/.depend.opt
index 568021042684013f5bb7d87edc4ae50522d7186b..9fb3357e76d2d747ce0f220996d5fc4e1ff97868 100644 (file)
--- a/helm/software/components/grafite_parser/.depend.opt
+++ b/helm/software/components/grafite_parser/.depend.opt
@@ -1,9 +1,4 @@
-dependenciesParser.cmi: 
-grafiteParser.cmi: 
-cicNotation2.cmi: 
-grafiteDisambiguate.cmi: 
 grafiteWalker.cmi: grafiteParser.cmi 
-print_grammar.cmi: 
 dependenciesParser.cmo: dependenciesParser.cmi 
 dependenciesParser.cmx: dependenciesParser.cmi 
 grafiteParser.cmo: grafiteParser.cmi 

diff --git a/helm/software/components/hgdome/.depend b/helm/software/components/hgdome/.depend
index 072d9697ac67fab4c4d0dffd6321082b1022c444..bf9c09af77949af3443918acfe26309ababdde62 100644 (file)
--- a/helm/software/components/hgdome/.depend
+++ b/helm/software/components/hgdome/.depend
@@ -1,5 +1,3 @@
-domMisc.cmi: 
-xml2Gdome.cmi: 
 domMisc.cmo: domMisc.cmi 
 domMisc.cmx: domMisc.cmi 
 xml2Gdome.cmo: xml2Gdome.cmi 

diff --git a/helm/software/components/hgdome/.depend.opt b/helm/software/components/hgdome/.depend.opt
index 072d9697ac67fab4c4d0dffd6321082b1022c444..bf9c09af77949af3443918acfe26309ababdde62 100644 (file)
--- a/helm/software/components/hgdome/.depend.opt
+++ b/helm/software/components/hgdome/.depend.opt
@@ -1,5 +1,3 @@
-domMisc.cmi: 
-xml2Gdome.cmi: 
 domMisc.cmo: domMisc.cmi 
 domMisc.cmx: domMisc.cmi 
 xml2Gdome.cmo: xml2Gdome.cmi 

diff --git a/helm/software/components/hmysql/.depend b/helm/software/components/hmysql/.depend
index ce439d961c5806d62c02572a1790a6b6591aad1a..16e6e9da7ff478b574edcc5f5756da5ac302ed34 100644 (file)
--- a/helm/software/components/hmysql/.depend
+++ b/helm/software/components/hmysql/.depend
@@ -1,7 +1,2 @@
-hSql.cmi: 
-hSqlite3.cmo: 
-hSqlite3.cmx: 
-hMysql.cmo: 
-hMysql.cmx: 
 hSql.cmo: hSqlite3.cmo hMysql.cmo hSql.cmi 
 hSql.cmx: hSqlite3.cmx hMysql.cmx hSql.cmi 

diff --git a/helm/software/components/hmysql/.depend.opt b/helm/software/components/hmysql/.depend.opt
index c2289bff28e2b3c806b7240252460a805274a528..602c901b81f28e6d8f557a971cd84673bfb701c9 100644 (file)
--- a/helm/software/components/hmysql/.depend.opt
+++ b/helm/software/components/hmysql/.depend.opt
@@ -1,7 +1,2 @@
-hSql.cmi: 
-hSqlite3.cmo: 
-hSqlite3.cmx: 
-hMysql.cmo: 
-hMysql.cmx: 
 hSql.cmo: hSqlite3.cmx hMysql.cmx hSql.cmi 
 hSql.cmx: hSqlite3.cmx hMysql.cmx hSql.cmi 

diff --git a/helm/software/components/lexicon/.depend b/helm/software/components/lexicon/.depend
index baa0094884f1c1b10874e8a0af4250c9556b8db4..33e89a7d9cbc750f0e8ac70a2243407fe6319437 100644 (file)
--- a/helm/software/components/lexicon/.depend
+++ b/helm/software/components/lexicon/.depend
@@ -3,8 +3,6 @@ lexiconMarshal.cmi: lexiconAst.cmo
 cicNotation.cmi: lexiconAst.cmo 
 lexiconEngine.cmi: lexiconMarshal.cmi lexiconAst.cmo cicNotation.cmi 
 lexiconSync.cmi: lexiconEngine.cmi lexiconAst.cmo 
-lexiconAst.cmo: 
-lexiconAst.cmx: 
 lexiconAstPp.cmo: lexiconAst.cmo lexiconAstPp.cmi 
 lexiconAstPp.cmx: lexiconAst.cmx lexiconAstPp.cmi 
 lexiconMarshal.cmo: lexiconAstPp.cmi lexiconAst.cmo lexiconMarshal.cmi 

diff --git a/helm/software/components/lexicon/.depend.opt b/helm/software/components/lexicon/.depend.opt
index 4d156c5f5499d1bfa253b7abb00645de327a9015..1b4992009ef8f70fb79e2ba7de86aefceef5513f 100644 (file)
--- a/helm/software/components/lexicon/.depend.opt
+++ b/helm/software/components/lexicon/.depend.opt
@@ -3,8 +3,6 @@ lexiconMarshal.cmi: lexiconAst.cmx
 cicNotation.cmi: lexiconAst.cmx 
 lexiconEngine.cmi: lexiconMarshal.cmi lexiconAst.cmx cicNotation.cmi 
 lexiconSync.cmi: lexiconEngine.cmi lexiconAst.cmx 
-lexiconAst.cmo: 
-lexiconAst.cmx: 
 lexiconAstPp.cmo: lexiconAst.cmx lexiconAstPp.cmi 
 lexiconAstPp.cmx: lexiconAst.cmx lexiconAstPp.cmi 
 lexiconMarshal.cmo: lexiconAstPp.cmi lexiconAst.cmx lexiconMarshal.cmi 

diff --git a/helm/software/components/library/.depend b/helm/software/components/library/.depend
index cfa1295edcd418319d423cb3ad3f4cc106a1ff21..a9f24f814f3dfb119e00e1fe2f6d71ef565d38ff 100644 (file)
--- a/helm/software/components/library/.depend
+++ b/helm/software/components/library/.depend
@@ -1,13 +1,4 @@
-librarian.cmi: 
-libraryMisc.cmi: 
-libraryDb.cmi: 
-coercDb.cmi: 
 cicCoercion.cmi: coercDb.cmi 
-librarySync.cmi: 
-cicElim.cmi: 
-cicRecord.cmi: 
-cicFix.cmi: 
-libraryClean.cmi: 
 librarian.cmo: librarian.cmi 
 librarian.cmx: librarian.cmi 
 libraryMisc.cmo: libraryMisc.cmi 

diff --git a/helm/software/components/library/.depend.opt b/helm/software/components/library/.depend.opt
index cfa1295edcd418319d423cb3ad3f4cc106a1ff21..a9f24f814f3dfb119e00e1fe2f6d71ef565d38ff 100644 (file)
--- a/helm/software/components/library/.depend.opt
+++ b/helm/software/components/library/.depend.opt
@@ -1,13 +1,4 @@
-librarian.cmi: 
-libraryMisc.cmi: 
-libraryDb.cmi: 
-coercDb.cmi: 
 cicCoercion.cmi: coercDb.cmi 
-librarySync.cmi: 
-cicElim.cmi: 
-cicRecord.cmi: 
-cicFix.cmi: 
-libraryClean.cmi: 
 librarian.cmo: librarian.cmi 
 librarian.cmx: librarian.cmi 
 libraryMisc.cmo: libraryMisc.cmi 

diff --git a/helm/software/components/logger/.depend b/helm/software/components/logger/.depend
index dfb4400ff0dce00c92943043edccecc0c1222ed5..28268d29ee15cd05d86a0565b7d47abfe8ecf81f 100644 (file)
--- a/helm/software/components/logger/.depend
+++ b/helm/software/components/logger/.depend
@@ -1,3 +1,2 @@
-helmLogger.cmi: 
 helmLogger.cmo: helmLogger.cmi 
 helmLogger.cmx: helmLogger.cmi 

diff --git a/helm/software/components/logger/.depend.opt b/helm/software/components/logger/.depend.opt
index dfb4400ff0dce00c92943043edccecc0c1222ed5..28268d29ee15cd05d86a0565b7d47abfe8ecf81f 100644 (file)
--- a/helm/software/components/logger/.depend.opt
+++ b/helm/software/components/logger/.depend.opt
@@ -1,3 +1,2 @@
-helmLogger.cmi: 
 helmLogger.cmo: helmLogger.cmi 
 helmLogger.cmx: helmLogger.cmi 

diff --git a/helm/software/components/metadata/.depend b/helm/software/components/metadata/.depend
index 78cd97a0deff8787b73aed2878acef8374029ee0..492a34e3a9dad11aa9a08d4a09802647c6e0bf95 100644 (file)
--- a/helm/software/components/metadata/.depend
+++ b/helm/software/components/metadata/.depend
@@ -1,5 +1,3 @@
-sqlStatements.cmi: 
-metadataTypes.cmi: 
 metadataExtractor.cmi: metadataTypes.cmi 
 metadataPp.cmi: metadataTypes.cmi 
 metadataConstraints.cmi: metadataTypes.cmi 

diff --git a/helm/software/components/metadata/.depend.opt b/helm/software/components/metadata/.depend.opt
index 78cd97a0deff8787b73aed2878acef8374029ee0..492a34e3a9dad11aa9a08d4a09802647c6e0bf95 100644 (file)
--- a/helm/software/components/metadata/.depend.opt
+++ b/helm/software/components/metadata/.depend.opt
@@ -1,5 +1,3 @@
-sqlStatements.cmi: 
-metadataTypes.cmi: 
 metadataExtractor.cmi: metadataTypes.cmi 
 metadataPp.cmi: metadataTypes.cmi 
 metadataConstraints.cmi: metadataTypes.cmi 

diff --git a/helm/software/components/ng_cic_content/.depend b/helm/software/components/ng_cic_content/.depend
index 31202f4520116764124b39680efbb62350b9c717..23dc615221ff5293621daa7b6abf4e4b4d2f579c 100644 (file)
--- a/helm/software/components/ng_cic_content/.depend
+++ b/helm/software/components/ng_cic_content/.depend
@@ -1,3 +1,2 @@
-nTermCicContent.cmi: 
 nTermCicContent.cmo: nTermCicContent.cmi 
 nTermCicContent.cmx: nTermCicContent.cmi 

diff --git a/helm/software/components/ng_cic_content/.depend.opt b/helm/software/components/ng_cic_content/.depend.opt
index 31202f4520116764124b39680efbb62350b9c717..23dc615221ff5293621daa7b6abf4e4b4d2f579c 100644 (file)
--- a/helm/software/components/ng_cic_content/.depend.opt
+++ b/helm/software/components/ng_cic_content/.depend.opt
@@ -1,3 +1,2 @@
-nTermCicContent.cmi: 
 nTermCicContent.cmo: nTermCicContent.cmi 
 nTermCicContent.cmx: nTermCicContent.cmi 

diff --git a/helm/software/components/ng_disambiguation/.depend b/helm/software/components/ng_disambiguation/.depend
index 2de54dc5eaedce21d8850cc5f76cc76f38331752..6b4ef95c1ee75472df6140057f1b06851033b996 100644 (file)
--- a/helm/software/components/ng_disambiguation/.depend
+++ b/helm/software/components/ng_disambiguation/.depend
@@ -1,3 +1,2 @@
-nCicDisambiguate.cmi: 
 nCicDisambiguate.cmo: nCicDisambiguate.cmi 
 nCicDisambiguate.cmx: nCicDisambiguate.cmi 

diff --git a/helm/software/components/ng_disambiguation/.depend.opt b/helm/software/components/ng_disambiguation/.depend.opt
index 2de54dc5eaedce21d8850cc5f76cc76f38331752..6b4ef95c1ee75472df6140057f1b06851033b996 100644 (file)
--- a/helm/software/components/ng_disambiguation/.depend.opt
+++ b/helm/software/components/ng_disambiguation/.depend.opt
@@ -1,3 +1,2 @@
-nCicDisambiguate.cmi: 
 nCicDisambiguate.cmo: nCicDisambiguate.cmi 
 nCicDisambiguate.cmx: nCicDisambiguate.cmi 

diff --git a/helm/software/components/ng_kernel/.depend b/helm/software/components/ng_kernel/.depend
index bb269130e432e2a5fdb29bb602f804acc7c34483..adfa7b5592dc590ce7d7eb1c6a7d4ebd53778682 100644 (file)
--- a/helm/software/components/ng_kernel/.depend
+++ b/helm/software/components/ng_kernel/.depend
@@ -1,11 +1,10 @@
-nUri.cmi: 
 nReference.cmi: nUri.cmi 
 nCicUtils.cmi: nCic.cmo 
 nCicSubstitution.cmi: nCic.cmo 
 oCic2NCic.cmi: nUri.cmi nReference.cmi nCic.cmo 
 nCic2OCic.cmi: nUri.cmi nReference.cmi nCic.cmo 
 nCicLibrary.cmi: nUri.cmi nCic.cmo 
-nCicPp.cmi: nCic.cmo 
+nCicPp.cmi: nReference.cmi nCic.cmo 
 nCicEnvironment.cmi: nUri.cmi nReference.cmi nCic.cmo 
 nCicReduction.cmi: nCic.cmo 
 nCicTypeChecker.cmi: nUri.cmi nReference.cmi nCic.cmo 

diff --git a/helm/software/components/ng_kernel/.depend.opt b/helm/software/components/ng_kernel/.depend.opt
index eab572e2201ee9f65734b2b843549f0d5f7ef008..98606fd7cc3947f329db7d2908693934810c19f2 100644 (file)
--- a/helm/software/components/ng_kernel/.depend.opt
+++ b/helm/software/components/ng_kernel/.depend.opt
@@ -1,11 +1,10 @@
-nUri.cmi: 
 nReference.cmi: nUri.cmi 
 nCicUtils.cmi: nCic.cmx 
 nCicSubstitution.cmi: nCic.cmx 
 oCic2NCic.cmi: nUri.cmi nReference.cmi nCic.cmx 
 nCic2OCic.cmi: nUri.cmi nReference.cmi nCic.cmx 
 nCicLibrary.cmi: nUri.cmi nCic.cmx 
-nCicPp.cmi: nCic.cmx 
+nCicPp.cmi: nReference.cmi nCic.cmx 
 nCicEnvironment.cmi: nUri.cmi nReference.cmi nCic.cmx 
 nCicReduction.cmi: nCic.cmx 
 nCicTypeChecker.cmi: nUri.cmi nReference.cmi nCic.cmx 

diff --git a/helm/software/components/ng_refiner/.depend b/helm/software/components/ng_refiner/.depend
index 6d8a1b69ab1d01833a9c964c544de71e8e31e7af..11418eb59a6da77b9b144c2b74d6799687e80119 100644 (file)
--- a/helm/software/components/ng_refiner/.depend
+++ b/helm/software/components/ng_refiner/.depend
@@ -1,7 +1,3 @@
-nDiscriminationTree.cmi: 
-nCicMetaSubst.cmi: 
-nCicCoercion.cmi: 
-nCicUnifHint.cmi: 
 nCicUnification.cmi: nCicUnifHint.cmi 
 nCicRefiner.cmi: nCicUnifHint.cmi 
 nDiscriminationTree.cmo: nDiscriminationTree.cmi 

diff --git a/helm/software/components/ng_refiner/.depend.opt b/helm/software/components/ng_refiner/.depend.opt
index 6d8a1b69ab1d01833a9c964c544de71e8e31e7af..11418eb59a6da77b9b144c2b74d6799687e80119 100644 (file)
--- a/helm/software/components/ng_refiner/.depend.opt
+++ b/helm/software/components/ng_refiner/.depend.opt
@@ -1,7 +1,3 @@
-nDiscriminationTree.cmi: 
-nCicMetaSubst.cmi: 
-nCicCoercion.cmi: 
-nCicUnifHint.cmi: 
 nCicUnification.cmi: nCicUnifHint.cmi 
 nCicRefiner.cmi: nCicUnifHint.cmi 
 nDiscriminationTree.cmo: nDiscriminationTree.cmi 

diff --git a/helm/software/components/ng_tactics/.depend b/helm/software/components/ng_tactics/.depend
index a93613c51a67e2442609cf5b747c8b91ed950e60..9e9a0ffcacefa179903cce62b4d4c7c7ae98c373 100644 (file)
--- a/helm/software/components/ng_tactics/.depend
+++ b/helm/software/components/ng_tactics/.depend
@@ -1,4 +1,3 @@
-nTacStatus.cmi: 
 nTactics.cmi: nTacStatus.cmi 
 nTacStatus.cmo: nTacStatus.cmi 
 nTacStatus.cmx: nTacStatus.cmi 

diff --git a/helm/software/components/ng_tactics/.depend.opt b/helm/software/components/ng_tactics/.depend.opt
index a93613c51a67e2442609cf5b747c8b91ed950e60..9e9a0ffcacefa179903cce62b4d4c7c7ae98c373 100644 (file)
--- a/helm/software/components/ng_tactics/.depend.opt
+++ b/helm/software/components/ng_tactics/.depend.opt
@@ -1,4 +1,3 @@
-nTacStatus.cmi: 
 nTactics.cmi: nTacStatus.cmi 
 nTacStatus.cmo: nTacStatus.cmi 
 nTacStatus.cmx: nTacStatus.cmi 

diff --git a/helm/software/components/registry/.depend b/helm/software/components/registry/.depend
index 40c03891a7433c13e27e38dbe1cb51e06030c905..cf4f36b68f502fc728be91d4b20e8b0dcd3658f2 100644 (file)
--- a/helm/software/components/registry/.depend
+++ b/helm/software/components/registry/.depend
@@ -1,3 +1,2 @@
-helm_registry.cmi: 
 helm_registry.cmo: helm_registry.cmi 
 helm_registry.cmx: helm_registry.cmi 

diff --git a/helm/software/components/registry/.depend.opt b/helm/software/components/registry/.depend.opt
index 40c03891a7433c13e27e38dbe1cb51e06030c905..cf4f36b68f502fc728be91d4b20e8b0dcd3658f2 100644 (file)
--- a/helm/software/components/registry/.depend.opt
+++ b/helm/software/components/registry/.depend.opt
@@ -1,3 +1,2 @@
-helm_registry.cmi: 
 helm_registry.cmo: helm_registry.cmi 
 helm_registry.cmx: helm_registry.cmi 

diff --git a/helm/software/components/syntax_extensions/.depend.opt b/helm/software/components/syntax_extensions/.depend.opt
index 3d7dfc21fef76318d2516be6b5736428108d2d02..c0cd9c9069420ca3c124fdf3a0f152838c5d121e 100644 (file)
--- a/helm/software/components/syntax_extensions/.depend.opt
+++ b/helm/software/components/syntax_extensions/.depend.opt
@@ -1,5 +1,2 @@
-utf8Macro.cmi: 
-utf8MacroTable.cmo: 
-utf8MacroTable.cmx: 
 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 a9f6e372e5c54d957113032e68338994d193447a..a278f6f0836f66a12becb40648662f44c709a1e6 100644 (file)
--- a/helm/software/components/tactics/.depend
+++ b/helm/software/components/tactics/.depend
@@ -1,19 +1,11 @@
-proofEngineTypes.cmi: 
 proofEngineHelpers.cmi: proofEngineTypes.cmi 
-proofEngineReduction.cmi: 
 continuationals.cmi: proofEngineTypes.cmi 
 tacticals.cmi: proofEngineTypes.cmi 
 reductionTactics.cmi: proofEngineTypes.cmi 
 proofEngineStructuralRules.cmi: proofEngineTypes.cmi 
 primitiveTactics.cmi: proofEngineTypes.cmi 
-hashtbl_equiv.cmi: 
 metadataQuery.cmi: proofEngineTypes.cmi 
-universe.cmi: 
 autoTypes.cmi: proofEngineTypes.cmi 
-autoCache.cmi: 
-paramodulation/utils.cmi: 
-closeCoercionGraph.cmi: 
-paramodulation/subst.cmi: 
 paramodulation/equality.cmi: paramodulation/utils.cmi \
     paramodulation/subst.cmi 
 paramodulation/founif.cmi: paramodulation/subst.cmi 
@@ -33,13 +25,10 @@ equalityTactics.cmi: proofEngineTypes.cmi
 auto.cmi: universe.cmi proofEngineTypes.cmi 
 destructTactic.cmi: proofEngineTypes.cmi 
 inversion.cmi: proofEngineTypes.cmi 
-inversion_principle.cmi: 
 ring.cmi: proofEngineTypes.cmi 
 setoids.cmi: proofEngineTypes.cmi 
-fourier.cmi: 
 fourierR.cmi: proofEngineTypes.cmi 
 fwdSimplTactic.cmi: proofEngineTypes.cmi 
-history.cmi: 
 statefulProofEngine.cmi: proofEngineTypes.cmi 
 tactics.cmi: universe.cmi tacticals.cmi proofEngineTypes.cmi auto.cmi 
 declarative.cmi: universe.cmi proofEngineTypes.cmi auto.cmi 

diff --git a/helm/software/components/tactics/.depend.opt b/helm/software/components/tactics/.depend.opt
index a9f6e372e5c54d957113032e68338994d193447a..a278f6f0836f66a12becb40648662f44c709a1e6 100644 (file)
--- a/helm/software/components/tactics/.depend.opt
+++ b/helm/software/components/tactics/.depend.opt
@@ -1,19 +1,11 @@
-proofEngineTypes.cmi: 
 proofEngineHelpers.cmi: proofEngineTypes.cmi 
-proofEngineReduction.cmi: 
 continuationals.cmi: proofEngineTypes.cmi 
 tacticals.cmi: proofEngineTypes.cmi 
 reductionTactics.cmi: proofEngineTypes.cmi 
 proofEngineStructuralRules.cmi: proofEngineTypes.cmi 
 primitiveTactics.cmi: proofEngineTypes.cmi 
-hashtbl_equiv.cmi: 
 metadataQuery.cmi: proofEngineTypes.cmi 
-universe.cmi: 
 autoTypes.cmi: proofEngineTypes.cmi 
-autoCache.cmi: 
-paramodulation/utils.cmi: 
-closeCoercionGraph.cmi: 
-paramodulation/subst.cmi: 
 paramodulation/equality.cmi: paramodulation/utils.cmi \
     paramodulation/subst.cmi 
 paramodulation/founif.cmi: paramodulation/subst.cmi 
@@ -33,13 +25,10 @@ equalityTactics.cmi: proofEngineTypes.cmi
 auto.cmi: universe.cmi proofEngineTypes.cmi 
 destructTactic.cmi: proofEngineTypes.cmi 
 inversion.cmi: proofEngineTypes.cmi 
-inversion_principle.cmi: 
 ring.cmi: proofEngineTypes.cmi 
 setoids.cmi: proofEngineTypes.cmi 
-fourier.cmi: 
 fourierR.cmi: proofEngineTypes.cmi 
 fwdSimplTactic.cmi: proofEngineTypes.cmi 
-history.cmi: 
 statefulProofEngine.cmi: proofEngineTypes.cmi 
 tactics.cmi: universe.cmi tacticals.cmi proofEngineTypes.cmi auto.cmi 
 declarative.cmi: universe.cmi proofEngineTypes.cmi auto.cmi 

diff --git a/helm/software/components/thread/.depend b/helm/software/components/thread/.depend
index 6616a03d0f4c0803fa1e9c2e309bbf89270e7526..7759190c66cdd57bcc79c0da85a571cd76faa730 100644 (file)
--- a/helm/software/components/thread/.depend
+++ b/helm/software/components/thread/.depend
@@ -1,5 +1,3 @@
-threadSafe.cmi: 
-extThread.cmi: 
 threadSafe.cmo: threadSafe.cmi 
 threadSafe.cmx: threadSafe.cmi 
 extThread.cmo: extThread.cmi 

diff --git a/helm/software/components/thread/.depend.opt b/helm/software/components/thread/.depend.opt
index 6616a03d0f4c0803fa1e9c2e309bbf89270e7526..7759190c66cdd57bcc79c0da85a571cd76faa730 100644 (file)
--- a/helm/software/components/thread/.depend.opt
+++ b/helm/software/components/thread/.depend.opt
@@ -1,5 +1,3 @@
-threadSafe.cmi: 
-extThread.cmi: 
 threadSafe.cmo: threadSafe.cmi 
 threadSafe.cmx: threadSafe.cmi 
 extThread.cmo: extThread.cmi 

diff --git a/helm/software/components/tptp_grafite/.depend b/helm/software/components/tptp_grafite/.depend
index a8972f4cfc20c049020440e4f567cfb622de8243..bc310327f83551dd5875e62bfa3899e7c55559a2 100644 (file)
--- a/helm/software/components/tptp_grafite/.depend
+++ b/helm/software/components/tptp_grafite/.depend
@@ -1,7 +1,4 @@
 parser.cmi: ast.cmo 
-tptp2grafite.cmi: 
-ast.cmo: 
-ast.cmx: 
 lexer.cmo: parser.cmi 
 lexer.cmx: parser.cmx 
 parser.cmo: ast.cmo parser.cmi 

diff --git a/helm/software/components/tptp_grafite/.depend.opt b/helm/software/components/tptp_grafite/.depend.opt
index fb60fe8f2d6ae59e0b1b46ae5675794888fd335f..c74300207fb532cff81cbdcd6146f285a05a7599 100644 (file)
--- a/helm/software/components/tptp_grafite/.depend.opt
+++ b/helm/software/components/tptp_grafite/.depend.opt
@@ -1,7 +1,4 @@
 parser.cmi: ast.cmx 
-tptp2grafite.cmi: 
-ast.cmo: 
-ast.cmx: 
 lexer.cmo: parser.cmi 
 lexer.cmx: parser.cmx 
 parser.cmo: ast.cmx parser.cmi 

diff --git a/helm/software/components/urimanager/.depend b/helm/software/components/urimanager/.depend
index 9cac9aa783c7c003e70e118017c77b20d2ccb61a..4821484239ac15df403da8d9123671544b3aa65f 100644 (file)
--- a/helm/software/components/urimanager/.depend
+++ b/helm/software/components/urimanager/.depend
@@ -1,3 +1,2 @@
-uriManager.cmi: 
 uriManager.cmo: uriManager.cmi 
 uriManager.cmx: uriManager.cmi 

diff --git a/helm/software/components/urimanager/.depend.opt b/helm/software/components/urimanager/.depend.opt
index 9cac9aa783c7c003e70e118017c77b20d2ccb61a..4821484239ac15df403da8d9123671544b3aa65f 100644 (file)
--- a/helm/software/components/urimanager/.depend.opt
+++ b/helm/software/components/urimanager/.depend.opt
@@ -1,3 +1,2 @@
-uriManager.cmi: 
 uriManager.cmo: uriManager.cmi 
 uriManager.cmx: uriManager.cmi 

diff --git a/helm/software/components/whelp/.depend b/helm/software/components/whelp/.depend
index 65dc079553f6476748ecdb106d61534fa746d753..39f37dfa90077f1212c1f51f57ef8c55a21174c7 100644 (file)
--- a/helm/software/components/whelp/.depend
+++ b/helm/software/components/whelp/.depend
@@ -1,5 +1,3 @@
-whelp.cmi: 
-fwdQueries.cmi: 
 whelp.cmo: whelp.cmi 
 whelp.cmx: whelp.cmi 
 fwdQueries.cmo: fwdQueries.cmi 

diff --git a/helm/software/components/whelp/.depend.opt b/helm/software/components/whelp/.depend.opt
index 65dc079553f6476748ecdb106d61534fa746d753..39f37dfa90077f1212c1f51f57ef8c55a21174c7 100644 (file)
--- a/helm/software/components/whelp/.depend.opt
+++ b/helm/software/components/whelp/.depend.opt
@@ -1,5 +1,3 @@
-whelp.cmi: 
-fwdQueries.cmi: 
 whelp.cmo: whelp.cmi 
 whelp.cmx: whelp.cmi 
 fwdQueries.cmo: fwdQueries.cmi 

diff --git a/helm/software/components/xml/.depend b/helm/software/components/xml/.depend
index e7e7ffbd729fcdbc6206eb38afebf53940878718..5ef59bdc96d40e0a64e0f50d91b949382a7f57e0 100644 (file)
--- a/helm/software/components/xml/.depend
+++ b/helm/software/components/xml/.depend
@@ -1,5 +1,3 @@
-xml.cmi: 
-xmlPushParser.cmi: 
 xml.cmo: xml.cmi 
 xml.cmx: xml.cmi 
 xmlPushParser.cmo: xmlPushParser.cmi 

diff --git a/helm/software/components/xml/.depend.opt b/helm/software/components/xml/.depend.opt
index e7e7ffbd729fcdbc6206eb38afebf53940878718..5ef59bdc96d40e0a64e0f50d91b949382a7f57e0 100644 (file)
--- a/helm/software/components/xml/.depend.opt
+++ b/helm/software/components/xml/.depend.opt
@@ -1,5 +1,3 @@
-xml.cmi: 
-xmlPushParser.cmi: 
 xml.cmo: xml.cmi 
 xml.cmx: xml.cmi 
 xmlPushParser.cmo: xmlPushParser.cmi 

diff --git a/helm/software/components/xmldiff/.depend b/helm/software/components/xmldiff/.depend
index 65bd7b9496155f928775a264636cae0249c62a98..e2832de332dd83fb5bd4beb1cd2b1e735d6fe35e 100644 (file)
--- a/helm/software/components/xmldiff/.depend
+++ b/helm/software/components/xmldiff/.depend
@@ -1,3 +1,2 @@
-xmlDiff.cmi: 
 xmlDiff.cmo: xmlDiff.cmi 
 xmlDiff.cmx: xmlDiff.cmi 

diff --git a/helm/software/components/xmldiff/.depend.opt b/helm/software/components/xmldiff/.depend.opt
index 65bd7b9496155f928775a264636cae0249c62a98..e2832de332dd83fb5bd4beb1cd2b1e735d6fe35e 100644 (file)
--- a/helm/software/components/xmldiff/.depend.opt
+++ b/helm/software/components/xmldiff/.depend.opt
@@ -1,3 +1,2 @@
-xmlDiff.cmi: 
 xmlDiff.cmo: xmlDiff.cmi 
 xmlDiff.cmx: xmlDiff.cmi