dependences update

diff --git a/helm/software/components/acic_content/.depend b/helm/software/components/acic_content/.depend
index 89dca0e446d48d1f05a1cda5fc3c39f1095257e3..c57b70cb8475c8e7a4bd1ae7d6129d929189ba79 100644 (file)
--- a/helm/software/components/acic_content/.depend
+++ b/helm/software/components/acic_content/.depend
@@ -1,30 +1,34 @@
-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 
+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

diff --git a/helm/software/components/acic_procedural/.depend b/helm/software/components/acic_procedural/.depend
index 97238c4d861fc8ee80cbafc6c9c6337d3e3babf2..a21219a43d1e0dc0a6c29b9508513050cb0284f5 100644 (file)
--- a/helm/software/components/acic_procedural/.depend
+++ b/helm/software/components/acic_procedural/.depend
@@ -1,38 +1,38 @@
-proceduralHelpers.cmi: 
-proceduralClassify.cmi: 
-proceduralOptimizer.cmi: 
-proceduralTypes.cmi: 
-proceduralMode.cmi: 
-proceduralConversion.cmi: 
-procedural1.cmi: proceduralTypes.cmi 
-procedural2.cmi: proceduralTypes.cmi 
-proceduralTeX.cmi: proceduralTypes.cmi 
-acic2Procedural.cmi: 
-proceduralHelpers.cmo: proceduralHelpers.cmi 
-proceduralHelpers.cmx: proceduralHelpers.cmi 
-proceduralClassify.cmo: proceduralHelpers.cmi proceduralClassify.cmi 
-proceduralClassify.cmx: proceduralHelpers.cmx proceduralClassify.cmi 
-proceduralOptimizer.cmo: proceduralHelpers.cmi proceduralClassify.cmi \
-    proceduralOptimizer.cmi 
-proceduralOptimizer.cmx: proceduralHelpers.cmx proceduralClassify.cmx \
-    proceduralOptimizer.cmi 
-proceduralTypes.cmo: proceduralHelpers.cmi proceduralTypes.cmi 
-proceduralTypes.cmx: proceduralHelpers.cmx proceduralTypes.cmi 
-proceduralMode.cmo: proceduralClassify.cmi proceduralMode.cmi 
-proceduralMode.cmx: proceduralClassify.cmx proceduralMode.cmi 
-proceduralConversion.cmo: proceduralHelpers.cmi proceduralConversion.cmi 
-proceduralConversion.cmx: proceduralHelpers.cmx proceduralConversion.cmi 
-procedural1.cmo: proceduralTypes.cmi procedural1.cmi 
-procedural1.cmx: proceduralTypes.cmx procedural1.cmi 
-procedural2.cmo: proceduralTypes.cmi proceduralHelpers.cmi \
-    proceduralConversion.cmi proceduralClassify.cmi procedural2.cmi 
-procedural2.cmx: proceduralTypes.cmx proceduralHelpers.cmx \
-    proceduralConversion.cmx proceduralClassify.cmx procedural2.cmi 
-proceduralTeX.cmo: proceduralTypes.cmi proceduralHelpers.cmi \
-    proceduralTeX.cmi 
-proceduralTeX.cmx: proceduralTypes.cmx proceduralHelpers.cmx \
-    proceduralTeX.cmi 
-acic2Procedural.cmo: proceduralTypes.cmi proceduralTeX.cmi \
-    proceduralHelpers.cmi procedural2.cmi procedural1.cmi acic2Procedural.cmi 
-acic2Procedural.cmx: proceduralTypes.cmx proceduralTeX.cmx \
-    proceduralHelpers.cmx procedural2.cmx procedural1.cmx acic2Procedural.cmi 
+proceduralHelpers.cmi :
+proceduralClassify.cmi :
+proceduralOptimizer.cmi :
+proceduralTypes.cmi :
+proceduralMode.cmi :
+proceduralConversion.cmi :
+procedural1.cmi : proceduralTypes.cmi
+procedural2.cmi : proceduralTypes.cmi
+proceduralTeX.cmi : proceduralTypes.cmi
+acic2Procedural.cmi :
+proceduralHelpers.cmo : proceduralHelpers.cmi
+proceduralHelpers.cmx : proceduralHelpers.cmi
+proceduralClassify.cmo : proceduralHelpers.cmi proceduralClassify.cmi
+proceduralClassify.cmx : proceduralHelpers.cmx proceduralClassify.cmi
+proceduralOptimizer.cmo : proceduralHelpers.cmi proceduralClassify.cmi \
+    proceduralOptimizer.cmi
+proceduralOptimizer.cmx : proceduralHelpers.cmx proceduralClassify.cmx \
+    proceduralOptimizer.cmi
+proceduralTypes.cmo : proceduralHelpers.cmi proceduralTypes.cmi
+proceduralTypes.cmx : proceduralHelpers.cmx proceduralTypes.cmi
+proceduralMode.cmo : proceduralClassify.cmi proceduralMode.cmi
+proceduralMode.cmx : proceduralClassify.cmx proceduralMode.cmi
+proceduralConversion.cmo : proceduralHelpers.cmi proceduralConversion.cmi
+proceduralConversion.cmx : proceduralHelpers.cmx proceduralConversion.cmi
+procedural1.cmo : proceduralTypes.cmi procedural1.cmi
+procedural1.cmx : proceduralTypes.cmx procedural1.cmi
+procedural2.cmo : proceduralTypes.cmi proceduralHelpers.cmi \
+    proceduralConversion.cmi proceduralClassify.cmi procedural2.cmi
+procedural2.cmx : proceduralTypes.cmx proceduralHelpers.cmx \
+    proceduralConversion.cmx proceduralClassify.cmx procedural2.cmi
+proceduralTeX.cmo : proceduralTypes.cmi proceduralHelpers.cmi \
+    proceduralTeX.cmi
+proceduralTeX.cmx : proceduralTypes.cmx proceduralHelpers.cmx \
+    proceduralTeX.cmi
+acic2Procedural.cmo : proceduralTypes.cmi proceduralTeX.cmi \
+    proceduralHelpers.cmi procedural2.cmi procedural1.cmi acic2Procedural.cmi
+acic2Procedural.cmx : proceduralTypes.cmx proceduralTeX.cmx \
+    proceduralHelpers.cmx procedural2.cmx procedural1.cmx acic2Procedural.cmi

diff --git a/helm/software/components/binaries/extractor/.depend b/helm/software/components/binaries/extractor/.depend
index 0c39328ae147e8ab714b2d3a7b1582a011b2b1d6..fa821eb0de962b5668cbbdc17bb70e7c5e257e5d 100644 (file)
--- a/helm/software/components/binaries/extractor/.depend
+++ b/helm/software/components/binaries/extractor/.depend
@@ -1,4 +1,4 @@
-extractor.cmo: 
-extractor.cmx: 
-extractor_manager.cmo: 
-extractor_manager.cmx: 
+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..7be3a33690c088c752fdb6cbd16b66e5c3a75090 100644 (file)
--- a/helm/software/components/binaries/table_creator/.depend
+++ b/helm/software/components/binaries/table_creator/.depend
@@ -1,2 +1,2 @@
-table_creator.cmo: 
-table_creator.cmx: 
+table_creator.cmo :
+table_creator.cmx :

diff --git a/helm/software/components/binaries/transcript/.depend b/helm/software/components/binaries/transcript/.depend
index 87d1ed25c2745435771cee189c10da4a99854448..23196a224cf2a90ddc7fa5b117dc85a72c562828 100644 (file)
--- a/helm/software/components/binaries/transcript/.depend
+++ b/helm/software/components/binaries/transcript/.depend
@@ -1,24 +1,24 @@
-gallina8Parser.cmi: types.cmo 
-grafiteParser.cmi: types.cmo 
-grafite.cmi: types.cmo 
-engine.cmi: 
-types.cmo: 
-types.cmx: 
-options.cmo: 
-options.cmx: 
-gallina8Parser.cmo: types.cmo options.cmo gallina8Parser.cmi 
-gallina8Parser.cmx: types.cmx options.cmx gallina8Parser.cmi 
-gallina8Lexer.cmo: options.cmo gallina8Parser.cmi 
-gallina8Lexer.cmx: options.cmx gallina8Parser.cmx 
-grafiteParser.cmo: types.cmo options.cmo grafiteParser.cmi 
-grafiteParser.cmx: types.cmx options.cmx grafiteParser.cmi 
-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 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 
+gallina8Parser.cmi : types.cmo
+grafiteParser.cmi : types.cmo
+grafite.cmi : types.cmo
+engine.cmi :
+types.cmo :
+types.cmx :
+options.cmo :
+options.cmx :
+gallina8Parser.cmo : types.cmo options.cmo gallina8Parser.cmi
+gallina8Parser.cmx : types.cmx options.cmx gallina8Parser.cmi
+gallina8Lexer.cmo : options.cmo gallina8Parser.cmi
+gallina8Lexer.cmx : options.cmx gallina8Parser.cmx
+grafiteParser.cmo : types.cmo options.cmo grafiteParser.cmi
+grafiteParser.cmx : types.cmx options.cmx grafiteParser.cmi
+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 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 a835b247f3b3006e53a73a62b9ff56d394eca590..ab53640303674f2575c954a3ca51d0adc721ffce 100644 (file)
--- a/helm/software/components/cic/.depend
+++ b/helm/software/components/cic/.depend
@@ -1,32 +1,32 @@
-cicUniv.cmi: 
-unshare.cmi: cic.cmo 
-deannotate.cmi: cic.cmo 
-cicParser.cmi: cic.cmo 
-cicUtil.cmi: cic.cmo 
-helmLibraryObjects.cmi: cic.cmo 
-libraryObjects.cmi: 
-cic_indexable.cmi: cic.cmo 
-path_indexing.cmi: cic.cmo 
-cicInspect.cmi: cic.cmo 
-cic.cmo: cicUniv.cmi 
-cic.cmx: cicUniv.cmx 
-cicUniv.cmo: cicUniv.cmi 
-cicUniv.cmx: cicUniv.cmi 
-unshare.cmo: cicUniv.cmi cic.cmo unshare.cmi 
-unshare.cmx: cicUniv.cmx cic.cmx unshare.cmi 
-deannotate.cmo: unshare.cmi cic.cmo deannotate.cmi 
-deannotate.cmx: unshare.cmx cic.cmx deannotate.cmi 
-cicParser.cmo: deannotate.cmi cicUniv.cmi cic.cmo cicParser.cmi 
-cicParser.cmx: deannotate.cmx cicUniv.cmx cic.cmx cicParser.cmi 
-cicUtil.cmo: cicUniv.cmi cic.cmo cicUtil.cmi 
-cicUtil.cmx: cicUniv.cmx cic.cmx cicUtil.cmi 
-helmLibraryObjects.cmo: cic.cmo helmLibraryObjects.cmi 
-helmLibraryObjects.cmx: cic.cmx helmLibraryObjects.cmi 
-libraryObjects.cmo: libraryObjects.cmi 
-libraryObjects.cmx: libraryObjects.cmi 
-cic_indexable.cmo: cicUtil.cmi cic.cmo cic_indexable.cmi 
-cic_indexable.cmx: cicUtil.cmx cic.cmx cic_indexable.cmi 
-path_indexing.cmo: cic.cmo path_indexing.cmi 
-path_indexing.cmx: cic.cmx path_indexing.cmi 
-cicInspect.cmo: cic.cmo cicInspect.cmi 
-cicInspect.cmx: cic.cmx cicInspect.cmi 
+cicUniv.cmi :
+unshare.cmi : cic.cmo
+deannotate.cmi : cic.cmo
+cicParser.cmi : cic.cmo
+cicUtil.cmi : cic.cmo
+helmLibraryObjects.cmi : cic.cmo
+libraryObjects.cmi :
+cic_indexable.cmi : cic.cmo
+path_indexing.cmi : cic.cmo
+cicInspect.cmi : cic.cmo
+cic.cmo : cicUniv.cmi
+cic.cmx : cicUniv.cmx
+cicUniv.cmo : cicUniv.cmi
+cicUniv.cmx : cicUniv.cmi
+unshare.cmo : cicUniv.cmi cic.cmo unshare.cmi
+unshare.cmx : cicUniv.cmx cic.cmx unshare.cmi
+deannotate.cmo : unshare.cmi cic.cmo deannotate.cmi
+deannotate.cmx : unshare.cmx cic.cmx deannotate.cmi
+cicParser.cmo : deannotate.cmi cicUniv.cmi cic.cmo cicParser.cmi
+cicParser.cmx : deannotate.cmx cicUniv.cmx cic.cmx cicParser.cmi
+cicUtil.cmo : cicUniv.cmi cic.cmo cicUtil.cmi
+cicUtil.cmx : cicUniv.cmx cic.cmx cicUtil.cmi
+helmLibraryObjects.cmo : cic.cmo helmLibraryObjects.cmi
+helmLibraryObjects.cmx : cic.cmx helmLibraryObjects.cmi
+libraryObjects.cmo : libraryObjects.cmi
+libraryObjects.cmx : libraryObjects.cmi
+cic_indexable.cmo : cicUtil.cmi cic.cmo cic_indexable.cmi
+cic_indexable.cmx : cicUtil.cmx cic.cmx cic_indexable.cmi
+path_indexing.cmo : cic.cmo path_indexing.cmi
+path_indexing.cmx : cic.cmx path_indexing.cmi
+cicInspect.cmo : cic.cmo cicInspect.cmi
+cicInspect.cmx : cic.cmx cicInspect.cmi

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

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

diff --git a/helm/software/components/cic_exportation/.depend b/helm/software/components/cic_exportation/.depend
index 91be8d88d36bf6f3df5cd920db6a75f80a5ff64d..388605ae24010a26571ca95a9314290440b8d498 100644 (file)
--- a/helm/software/components/cic_exportation/.depend
+++ b/helm/software/components/cic_exportation/.depend
@@ -1,3 +1,3 @@
-cicExportation.cmi: 
-cicExportation.cmo: cicExportation.cmi 
-cicExportation.cmx: cicExportation.cmi 
+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..ce7cec99b45d03464eb97d6d96c83e8b154217b2 100644 (file)
--- a/helm/software/components/cic_proof_checking/.depend
+++ b/helm/software/components/cic_proof_checking/.depend
@@ -1,38 +1,38 @@
-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 
-cicEnvironment.cmx: cicEnvironment.cmi 
-cicPp.cmo: cicEnvironment.cmi cicPp.cmi 
-cicPp.cmx: cicEnvironment.cmx cicPp.cmi 
-cicUnivUtils.cmo: cicEnvironment.cmi cicUnivUtils.cmi 
-cicUnivUtils.cmx: cicEnvironment.cmx cicUnivUtils.cmi 
-cicSubstitution.cmo: cicEnvironment.cmi cicSubstitution.cmi 
-cicSubstitution.cmx: cicEnvironment.cmx cicSubstitution.cmi 
-cicMiniReduction.cmo: cicSubstitution.cmi cicMiniReduction.cmi 
-cicMiniReduction.cmx: cicSubstitution.cmx cicMiniReduction.cmi 
-cicReduction.cmo: cicSubstitution.cmi cicPp.cmi cicEnvironment.cmi \
-    cicReduction.cmi 
-cicReduction.cmx: cicSubstitution.cmx cicPp.cmx cicEnvironment.cmx \
-    cicReduction.cmi 
-cicTypeChecker.cmo: cicUnivUtils.cmi cicSubstitution.cmi cicReduction.cmi \
-    cicPp.cmi cicLogger.cmi cicEnvironment.cmi cicTypeChecker.cmi 
-cicTypeChecker.cmx: cicUnivUtils.cmx cicSubstitution.cmx cicReduction.cmx \
-    cicPp.cmx cicLogger.cmx cicEnvironment.cmx cicTypeChecker.cmi 
-freshNamesGenerator.cmo: cicTypeChecker.cmi cicSubstitution.cmi \
-    freshNamesGenerator.cmi 
-freshNamesGenerator.cmx: cicTypeChecker.cmx cicSubstitution.cmx \
-    freshNamesGenerator.cmi 
-cicDischarge.cmo: cicTypeChecker.cmi cicSubstitution.cmi cicEnvironment.cmi \
-    cicDischarge.cmi 
-cicDischarge.cmx: cicTypeChecker.cmx cicSubstitution.cmx cicEnvironment.cmx \
-    cicDischarge.cmi 
+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
+cicEnvironment.cmx : cicEnvironment.cmi
+cicPp.cmo : cicEnvironment.cmi cicPp.cmi
+cicPp.cmx : cicEnvironment.cmx cicPp.cmi
+cicUnivUtils.cmo : cicEnvironment.cmi cicUnivUtils.cmi
+cicUnivUtils.cmx : cicEnvironment.cmx cicUnivUtils.cmi
+cicSubstitution.cmo : cicEnvironment.cmi cicSubstitution.cmi
+cicSubstitution.cmx : cicEnvironment.cmx cicSubstitution.cmi
+cicMiniReduction.cmo : cicSubstitution.cmi cicMiniReduction.cmi
+cicMiniReduction.cmx : cicSubstitution.cmx cicMiniReduction.cmi
+cicReduction.cmo : cicSubstitution.cmi cicPp.cmi cicEnvironment.cmi \
+    cicReduction.cmi
+cicReduction.cmx : cicSubstitution.cmx cicPp.cmx cicEnvironment.cmx \
+    cicReduction.cmi
+cicTypeChecker.cmo : cicUnivUtils.cmi cicSubstitution.cmi cicReduction.cmi \
+    cicPp.cmi cicLogger.cmi cicEnvironment.cmi cicTypeChecker.cmi
+cicTypeChecker.cmx : cicUnivUtils.cmx cicSubstitution.cmx cicReduction.cmx \
+    cicPp.cmx cicLogger.cmx cicEnvironment.cmx cicTypeChecker.cmi
+freshNamesGenerator.cmo : cicTypeChecker.cmi cicSubstitution.cmi \
+    freshNamesGenerator.cmi
+freshNamesGenerator.cmx : cicTypeChecker.cmx cicSubstitution.cmx \
+    freshNamesGenerator.cmi
+cicDischarge.cmo : cicTypeChecker.cmi cicSubstitution.cmi cicEnvironment.cmi \
+    cicDischarge.cmi
+cicDischarge.cmx : cicTypeChecker.cmx cicSubstitution.cmx cicEnvironment.cmx \
+    cicDischarge.cmi

diff --git a/helm/software/components/cic_unification/.depend b/helm/software/components/cic_unification/.depend
index 2e054f73d4e69376cc89138609538274bd8fe6d8..57eff2f68f7f8acef69ff2572f7744569da83c7b 100644 (file)
--- a/helm/software/components/cic_unification/.depend
+++ b/helm/software/components/cic_unification/.depend
@@ -1,23 +1,23 @@
-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 
-cicMkImplicit.cmx: cicMkImplicit.cmi 
-termUtil.cmo: cicMkImplicit.cmi termUtil.cmi 
-termUtil.cmx: cicMkImplicit.cmx termUtil.cmi 
-coercGraph.cmo: termUtil.cmi cicMkImplicit.cmi coercGraph.cmi 
-coercGraph.cmx: termUtil.cmx cicMkImplicit.cmx coercGraph.cmi 
-cicUnification.cmo: coercGraph.cmi cicMetaSubst.cmi cicUnification.cmi 
-cicUnification.cmx: coercGraph.cmx cicMetaSubst.cmx cicUnification.cmi 
-cicReplace.cmo: cicReplace.cmi 
-cicReplace.cmx: cicReplace.cmi 
-cicRefine.cmo: coercGraph.cmi cicUnification.cmi cicReplace.cmi \
-    cicMkImplicit.cmi cicMetaSubst.cmi cicRefine.cmi 
-cicRefine.cmx: coercGraph.cmx cicUnification.cmx cicReplace.cmx \
-    cicMkImplicit.cmx cicMetaSubst.cmx cicRefine.cmi 
+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
+cicMkImplicit.cmx : cicMkImplicit.cmi
+termUtil.cmo : cicMkImplicit.cmi termUtil.cmi
+termUtil.cmx : cicMkImplicit.cmx termUtil.cmi
+coercGraph.cmo : termUtil.cmi cicMkImplicit.cmi coercGraph.cmi
+coercGraph.cmx : termUtil.cmx cicMkImplicit.cmx coercGraph.cmi
+cicUnification.cmo : coercGraph.cmi cicMetaSubst.cmi cicUnification.cmi
+cicUnification.cmx : coercGraph.cmx cicMetaSubst.cmx cicUnification.cmi
+cicReplace.cmo : cicReplace.cmi
+cicReplace.cmx : cicReplace.cmi
+cicRefine.cmo : coercGraph.cmi cicUnification.cmi cicReplace.cmi \
+    cicMkImplicit.cmi cicMetaSubst.cmi cicRefine.cmi
+cicRefine.cmx : coercGraph.cmx cicUnification.cmx cicReplace.cmx \
+    cicMkImplicit.cmx cicMetaSubst.cmx cicRefine.cmi

diff --git a/helm/software/components/content_pres/.depend b/helm/software/components/content_pres/.depend
index 8d74439eb72834455b6f06006f1f5534312a3a51..2b91cd4d891e781a175e13f14982d3f8ca363450 100644 (file)
--- a/helm/software/components/content_pres/.depend
+++ b/helm/software/components/content_pres/.depend
@@ -1,43 +1,43 @@
-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 
-content2pres.cmi: cicNotationPres.cmi 
-sequent2pres.cmi: cicNotationPres.cmi 
-renderingAttrs.cmo: renderingAttrs.cmi 
-renderingAttrs.cmx: renderingAttrs.cmi 
-cicNotationLexer.cmo: cicNotationLexer.cmi 
-cicNotationLexer.cmx: cicNotationLexer.cmi 
-cicNotationParser.cmo: cicNotationLexer.cmi cicNotationParser.cmi 
-cicNotationParser.cmx: cicNotationLexer.cmx cicNotationParser.cmi 
-mpresentation.cmo: mpresentation.cmi 
-mpresentation.cmx: mpresentation.cmi 
-box.cmo: renderingAttrs.cmi box.cmi 
-box.cmx: renderingAttrs.cmx box.cmi 
-content2presMatcher.cmo: content2presMatcher.cmi 
-content2presMatcher.cmx: content2presMatcher.cmi 
-termContentPres.cmo: renderingAttrs.cmi content2presMatcher.cmi \
-    cicNotationParser.cmi termContentPres.cmi 
-termContentPres.cmx: renderingAttrs.cmx content2presMatcher.cmx \
-    cicNotationParser.cmx termContentPres.cmi 
-boxPp.cmo: renderingAttrs.cmi mpresentation.cmi cicNotationPres.cmi box.cmi \
-    boxPp.cmi 
-boxPp.cmx: renderingAttrs.cmx mpresentation.cmx cicNotationPres.cmx box.cmx \
-    boxPp.cmi 
-cicNotationPres.cmo: renderingAttrs.cmi mpresentation.cmi box.cmi \
-    cicNotationPres.cmi 
-cicNotationPres.cmx: renderingAttrs.cmx mpresentation.cmx box.cmx \
-    cicNotationPres.cmi 
-content2pres.cmo: termContentPres.cmi renderingAttrs.cmi mpresentation.cmi \
-    cicNotationPres.cmi box.cmi content2pres.cmi 
-content2pres.cmx: termContentPres.cmx renderingAttrs.cmx mpresentation.cmx \
-    cicNotationPres.cmx box.cmx content2pres.cmi 
-sequent2pres.cmo: termContentPres.cmi mpresentation.cmi cicNotationPres.cmi \
-    box.cmi sequent2pres.cmi 
-sequent2pres.cmx: termContentPres.cmx mpresentation.cmx cicNotationPres.cmx \
-    box.cmx sequent2pres.cmi 
+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
+content2pres.cmi : cicNotationPres.cmi
+sequent2pres.cmi : cicNotationPres.cmi
+renderingAttrs.cmo : renderingAttrs.cmi
+renderingAttrs.cmx : renderingAttrs.cmi
+cicNotationLexer.cmo : cicNotationLexer.cmi
+cicNotationLexer.cmx : cicNotationLexer.cmi
+cicNotationParser.cmo : cicNotationLexer.cmi cicNotationParser.cmi
+cicNotationParser.cmx : cicNotationLexer.cmx cicNotationParser.cmi
+mpresentation.cmo : mpresentation.cmi
+mpresentation.cmx : mpresentation.cmi
+box.cmo : renderingAttrs.cmi box.cmi
+box.cmx : renderingAttrs.cmx box.cmi
+content2presMatcher.cmo : content2presMatcher.cmi
+content2presMatcher.cmx : content2presMatcher.cmi
+termContentPres.cmo : renderingAttrs.cmi content2presMatcher.cmi \
+    cicNotationParser.cmi termContentPres.cmi
+termContentPres.cmx : renderingAttrs.cmx content2presMatcher.cmx \
+    cicNotationParser.cmx termContentPres.cmi
+boxPp.cmo : renderingAttrs.cmi mpresentation.cmi cicNotationPres.cmi box.cmi \
+    boxPp.cmi
+boxPp.cmx : renderingAttrs.cmx mpresentation.cmx cicNotationPres.cmx box.cmx \
+    boxPp.cmi
+cicNotationPres.cmo : renderingAttrs.cmi mpresentation.cmi box.cmi \
+    cicNotationPres.cmi
+cicNotationPres.cmx : renderingAttrs.cmx mpresentation.cmx box.cmx \
+    cicNotationPres.cmi
+content2pres.cmo : termContentPres.cmi renderingAttrs.cmi mpresentation.cmi \
+    cicNotationPres.cmi box.cmi content2pres.cmi
+content2pres.cmx : termContentPres.cmx renderingAttrs.cmx mpresentation.cmx \
+    cicNotationPres.cmx box.cmx content2pres.cmi
+sequent2pres.cmo : termContentPres.cmi mpresentation.cmi cicNotationPres.cmi \
+    box.cmi sequent2pres.cmi
+sequent2pres.cmx : termContentPres.cmx mpresentation.cmx cicNotationPres.cmx \
+    box.cmx sequent2pres.cmi

diff --git a/helm/software/components/disambiguation/.depend b/helm/software/components/disambiguation/.depend
index 9fdbeeeafa878cfe32dbf1f96adaad1e3044a4eb..735bea7f72c4ccf1beef11818a346a3d4c3d6e6a 100644 (file)
--- a/helm/software/components/disambiguation/.depend
+++ b/helm/software/components/disambiguation/.depend
@@ -1,11 +1,11 @@
-disambiguateTypes.cmi: 
-disambiguate.cmi: disambiguateTypes.cmi 
-multiPassDisambiguator.cmi: disambiguateTypes.cmi disambiguate.cmi 
-disambiguateTypes.cmo: disambiguateTypes.cmi 
-disambiguateTypes.cmx: disambiguateTypes.cmi 
-disambiguate.cmo: disambiguateTypes.cmi disambiguate.cmi 
-disambiguate.cmx: disambiguateTypes.cmx disambiguate.cmi 
-multiPassDisambiguator.cmo: disambiguateTypes.cmi disambiguate.cmi \
-    multiPassDisambiguator.cmi 
-multiPassDisambiguator.cmx: disambiguateTypes.cmx disambiguate.cmx \
-    multiPassDisambiguator.cmi 
+disambiguateTypes.cmi :
+disambiguate.cmi : disambiguateTypes.cmi
+multiPassDisambiguator.cmi : disambiguateTypes.cmi disambiguate.cmi
+disambiguateTypes.cmo : disambiguateTypes.cmi
+disambiguateTypes.cmx : disambiguateTypes.cmi
+disambiguate.cmo : disambiguateTypes.cmi disambiguate.cmi
+disambiguate.cmx : disambiguateTypes.cmx disambiguate.cmi
+multiPassDisambiguator.cmo : disambiguateTypes.cmi disambiguate.cmi \
+    multiPassDisambiguator.cmi
+multiPassDisambiguator.cmx : disambiguateTypes.cmx disambiguate.cmx \
+    multiPassDisambiguator.cmi

diff --git a/helm/software/components/extlib/.depend b/helm/software/components/extlib/.depend
index dcc6377a0664b620f19f47d8103c5b3a88a03270..7bc924760abdd2678fceec3840d89bac5c397f3d 100644 (file)
--- a/helm/software/components/extlib/.depend
+++ b/helm/software/components/extlib/.depend
@@ -1,30 +1,30 @@
-componentsConf.cmi: 
-hExtlib.cmi: 
-hMarshal.cmi: 
-patternMatcher.cmi: 
-hLog.cmi: 
-trie.cmi: 
-discrimination_tree.cmi: 
-hTopoSort.cmi: 
-refCounter.cmi: 
-graphvizPp.cmi: 
-componentsConf.cmo: componentsConf.cmi 
-componentsConf.cmx: componentsConf.cmi 
-hExtlib.cmo: hExtlib.cmi 
-hExtlib.cmx: hExtlib.cmi 
-hMarshal.cmo: hExtlib.cmi hMarshal.cmi 
-hMarshal.cmx: hExtlib.cmx hMarshal.cmi 
-patternMatcher.cmo: patternMatcher.cmi 
-patternMatcher.cmx: patternMatcher.cmi 
-hLog.cmo: hLog.cmi 
-hLog.cmx: hLog.cmi 
-trie.cmo: trie.cmi 
-trie.cmx: trie.cmi 
-discrimination_tree.cmo: trie.cmi discrimination_tree.cmi 
-discrimination_tree.cmx: trie.cmx discrimination_tree.cmi 
-hTopoSort.cmo: hTopoSort.cmi 
-hTopoSort.cmx: hTopoSort.cmi 
-refCounter.cmo: refCounter.cmi 
-refCounter.cmx: refCounter.cmi 
-graphvizPp.cmo: graphvizPp.cmi 
-graphvizPp.cmx: graphvizPp.cmi 
+componentsConf.cmi :
+hExtlib.cmi :
+hMarshal.cmi :
+patternMatcher.cmi :
+hLog.cmi :
+trie.cmi :
+discrimination_tree.cmi :
+hTopoSort.cmi :
+refCounter.cmi :
+graphvizPp.cmi :
+componentsConf.cmo : componentsConf.cmi
+componentsConf.cmx : componentsConf.cmi
+hExtlib.cmo : hExtlib.cmi
+hExtlib.cmx : hExtlib.cmi
+hMarshal.cmo : hExtlib.cmi hMarshal.cmi
+hMarshal.cmx : hExtlib.cmx hMarshal.cmi
+patternMatcher.cmo : patternMatcher.cmi
+patternMatcher.cmx : patternMatcher.cmi
+hLog.cmo : hLog.cmi
+hLog.cmx : hLog.cmi
+trie.cmo : trie.cmi
+trie.cmx : trie.cmi
+discrimination_tree.cmo : trie.cmi discrimination_tree.cmi
+discrimination_tree.cmx : trie.cmx discrimination_tree.cmi
+hTopoSort.cmo : hTopoSort.cmi
+hTopoSort.cmx : hTopoSort.cmi
+refCounter.cmo : refCounter.cmi
+refCounter.cmx : refCounter.cmi
+graphvizPp.cmo : graphvizPp.cmi
+graphvizPp.cmx : graphvizPp.cmi

diff --git a/helm/software/components/getter/.depend b/helm/software/components/getter/.depend
index ca64d8ec04f2c9e9b431d4921064c88bbb7587c9..59c0b896e216c8aa3f904c2b1a721c13b87b4d83 100644 (file)
--- a/helm/software/components/getter/.depend
+++ b/helm/software/components/getter/.depend
@@ -1,38 +1,38 @@
-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 
-http_getter_logger.cmx: http_getter_logger.cmi 
-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_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_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_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_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
+http_getter_logger.cmx : http_getter_logger.cmi
+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_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_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_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_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 
-http_getter.cmx: http_getter_wget.cmx http_getter_types.cmx \
+    http_getter.cmi
+http_getter.cmx : http_getter_wget.cmx http_getter_types.cmx \
     http_getter_storage.cmx http_getter_misc.cmx http_getter_logger.cmx \
     http_getter_env.cmx http_getter_const.cmx http_getter_common.cmx \
-    http_getter.cmi 
+    http_getter.cmi

diff --git a/helm/software/components/grafite/.depend b/helm/software/components/grafite/.depend
index f305b15803a9f6b7f87ab353a1e871afb8f6a1a5..e65ec50d361e95c2a8746a9dab2763d363b7903c 100644 (file)
--- a/helm/software/components/grafite/.depend
+++ b/helm/software/components/grafite/.depend
@@ -1,8 +1,8 @@
-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 
-grafiteMarshal.cmx: grafiteAstPp.cmx grafiteAst.cmx grafiteMarshal.cmi 
+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
+grafiteMarshal.cmx : grafiteAstPp.cmx grafiteAst.cmx grafiteMarshal.cmi

diff --git a/helm/software/components/grafite_engine/.depend b/helm/software/components/grafite_engine/.depend
index 10236823af172c045fb709552131af884aaf6872..a0e6494bfd69a53297bc6585d90a94c10a8ac0a5 100644 (file)
--- a/helm/software/components/grafite_engine/.depend
+++ b/helm/software/components/grafite_engine/.depend
@@ -1,14 +1,14 @@
-grafiteTypes.cmi: 
-grafiteSync.cmi: grafiteTypes.cmi 
-nCicCoercDeclaration.cmi: grafiteTypes.cmi 
-grafiteEngine.cmi: grafiteTypes.cmi 
-grafiteTypes.cmo: grafiteTypes.cmi 
-grafiteTypes.cmx: grafiteTypes.cmi 
-grafiteSync.cmo: grafiteTypes.cmi grafiteSync.cmi 
-grafiteSync.cmx: grafiteTypes.cmx grafiteSync.cmi 
-nCicCoercDeclaration.cmo: grafiteTypes.cmi nCicCoercDeclaration.cmi 
-nCicCoercDeclaration.cmx: grafiteTypes.cmx nCicCoercDeclaration.cmi 
-grafiteEngine.cmo: nCicCoercDeclaration.cmi grafiteTypes.cmi grafiteSync.cmi \
-    grafiteEngine.cmi 
-grafiteEngine.cmx: nCicCoercDeclaration.cmx grafiteTypes.cmx grafiteSync.cmx \
-    grafiteEngine.cmi 
+grafiteTypes.cmi :
+grafiteSync.cmi : grafiteTypes.cmi
+nCicCoercDeclaration.cmi : grafiteTypes.cmi
+grafiteEngine.cmi : grafiteTypes.cmi
+grafiteTypes.cmo : grafiteTypes.cmi
+grafiteTypes.cmx : grafiteTypes.cmi
+grafiteSync.cmo : grafiteTypes.cmi grafiteSync.cmi
+grafiteSync.cmx : grafiteTypes.cmx grafiteSync.cmi
+nCicCoercDeclaration.cmo : grafiteTypes.cmi nCicCoercDeclaration.cmi
+nCicCoercDeclaration.cmx : grafiteTypes.cmx nCicCoercDeclaration.cmi
+grafiteEngine.cmo : nCicCoercDeclaration.cmi grafiteTypes.cmi \
+    grafiteSync.cmi grafiteEngine.cmi
+grafiteEngine.cmx : nCicCoercDeclaration.cmx grafiteTypes.cmx \
+    grafiteSync.cmx grafiteEngine.cmi

diff --git a/helm/software/components/grafite_parser/.depend b/helm/software/components/grafite_parser/.depend
index 2766b04d03ad96eb26664ce893da8d732191ede5..346778c044020a6f5ee02d7a2aa8acf757eb6f7b 100644 (file)
--- a/helm/software/components/grafite_parser/.depend
+++ b/helm/software/components/grafite_parser/.depend
@@ -1,18 +1,18 @@
-dependenciesParser.cmi: 
-grafiteParser.cmi: 
-cicNotation2.cmi: 
-nEstatus.cmi: 
-grafiteDisambiguate.cmi: nEstatus.cmi 
-print_grammar.cmi: 
-dependenciesParser.cmo: dependenciesParser.cmi 
-dependenciesParser.cmx: dependenciesParser.cmi 
-grafiteParser.cmo: grafiteParser.cmi 
-grafiteParser.cmx: grafiteParser.cmi 
-cicNotation2.cmo: grafiteParser.cmi cicNotation2.cmi 
-cicNotation2.cmx: grafiteParser.cmx cicNotation2.cmi 
-nEstatus.cmo: nEstatus.cmi 
-nEstatus.cmx: nEstatus.cmi 
-grafiteDisambiguate.cmo: grafiteDisambiguate.cmi 
-grafiteDisambiguate.cmx: grafiteDisambiguate.cmi 
-print_grammar.cmo: print_grammar.cmi 
-print_grammar.cmx: print_grammar.cmi 
+dependenciesParser.cmi :
+grafiteParser.cmi :
+cicNotation2.cmi :
+nEstatus.cmi :
+grafiteDisambiguate.cmi : nEstatus.cmi
+print_grammar.cmi :
+dependenciesParser.cmo : dependenciesParser.cmi
+dependenciesParser.cmx : dependenciesParser.cmi
+grafiteParser.cmo : grafiteParser.cmi
+grafiteParser.cmx : grafiteParser.cmi
+cicNotation2.cmo : grafiteParser.cmi cicNotation2.cmi
+cicNotation2.cmx : grafiteParser.cmx cicNotation2.cmi
+nEstatus.cmo : nEstatus.cmi
+nEstatus.cmx : nEstatus.cmi
+grafiteDisambiguate.cmo : grafiteDisambiguate.cmi
+grafiteDisambiguate.cmx : grafiteDisambiguate.cmi
+print_grammar.cmo : print_grammar.cmi
+print_grammar.cmx : print_grammar.cmi

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

diff --git a/helm/software/components/hmysql/.depend b/helm/software/components/hmysql/.depend
index ce439d961c5806d62c02572a1790a6b6591aad1a..179a7a5ef2418547511980f25f459b9da81a5b48 100644 (file)
--- a/helm/software/components/hmysql/.depend
+++ b/helm/software/components/hmysql/.depend
@@ -1,7 +1,7 @@
-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 
+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/lexicon/.depend b/helm/software/components/lexicon/.depend
index 16c1145165e3acf1c2c923e16a634ce3f3967bef..0bc1b38cf5feacac5574655e7c0449ce97490a20 100644 (file)
--- a/helm/software/components/lexicon/.depend
+++ b/helm/software/components/lexicon/.depend
@@ -1,21 +1,21 @@
-lexiconAstPp.cmi: lexiconAst.cmo 
-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 
-lexiconMarshal.cmx: lexiconAstPp.cmx lexiconAst.cmx lexiconMarshal.cmi 
-cicNotation.cmo: lexiconAst.cmo cicNotation.cmi 
-cicNotation.cmx: lexiconAst.cmx cicNotation.cmi 
-lexiconEngine.cmo: lexiconMarshal.cmi lexiconAstPp.cmi lexiconAst.cmo \
-    cicNotation.cmi lexiconEngine.cmi 
-lexiconEngine.cmx: lexiconMarshal.cmx lexiconAstPp.cmx lexiconAst.cmx \
-    cicNotation.cmx lexiconEngine.cmi 
-lexiconSync.cmo: lexiconEngine.cmi lexiconAst.cmo cicNotation.cmi \
-    lexiconSync.cmi 
-lexiconSync.cmx: lexiconEngine.cmx lexiconAst.cmx cicNotation.cmx \
-    lexiconSync.cmi 
+lexiconAstPp.cmi : lexiconAst.cmo
+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
+lexiconMarshal.cmx : lexiconAstPp.cmx lexiconAst.cmx lexiconMarshal.cmi
+cicNotation.cmo : lexiconAst.cmo cicNotation.cmi
+cicNotation.cmx : lexiconAst.cmx cicNotation.cmi
+lexiconEngine.cmo : lexiconMarshal.cmi lexiconAstPp.cmi lexiconAst.cmo \
+    cicNotation.cmi lexiconEngine.cmi
+lexiconEngine.cmx : lexiconMarshal.cmx lexiconAstPp.cmx lexiconAst.cmx \
+    cicNotation.cmx lexiconEngine.cmi
+lexiconSync.cmo : lexiconEngine.cmi lexiconAst.cmo cicNotation.cmi \
+    lexiconSync.cmi
+lexiconSync.cmx : lexiconEngine.cmx lexiconAst.cmx cicNotation.cmx \
+    lexiconSync.cmi

diff --git a/helm/software/components/library/.depend b/helm/software/components/library/.depend
index cfa1295edcd418319d423cb3ad3f4cc106a1ff21..6b743d2da266bdabac4df3501a5bc8cdb2c8cfd0 100644 (file)
--- a/helm/software/components/library/.depend
+++ b/helm/software/components/library/.depend
@@ -1,32 +1,32 @@
-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 
-libraryMisc.cmx: libraryMisc.cmi 
-libraryDb.cmo: libraryDb.cmi 
-libraryDb.cmx: libraryDb.cmi 
-coercDb.cmo: coercDb.cmi 
-coercDb.cmx: coercDb.cmi 
-cicCoercion.cmo: coercDb.cmi cicCoercion.cmi 
-cicCoercion.cmx: coercDb.cmx cicCoercion.cmi 
-librarySync.cmo: libraryDb.cmi coercDb.cmi cicCoercion.cmi librarySync.cmi 
-librarySync.cmx: libraryDb.cmx coercDb.cmx cicCoercion.cmx librarySync.cmi 
-cicElim.cmo: librarySync.cmi cicElim.cmi 
-cicElim.cmx: librarySync.cmx cicElim.cmi 
-cicRecord.cmo: librarySync.cmi cicRecord.cmi 
-cicRecord.cmx: librarySync.cmx cicRecord.cmi 
-cicFix.cmo: librarySync.cmi cicFix.cmi 
-cicFix.cmx: librarySync.cmx cicFix.cmi 
-libraryClean.cmo: librarySync.cmi libraryMisc.cmi libraryDb.cmi \
-    libraryClean.cmi 
-libraryClean.cmx: librarySync.cmx libraryMisc.cmx libraryDb.cmx \
-    libraryClean.cmi 
+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
+libraryMisc.cmx : libraryMisc.cmi
+libraryDb.cmo : libraryDb.cmi
+libraryDb.cmx : libraryDb.cmi
+coercDb.cmo : coercDb.cmi
+coercDb.cmx : coercDb.cmi
+cicCoercion.cmo : coercDb.cmi cicCoercion.cmi
+cicCoercion.cmx : coercDb.cmx cicCoercion.cmi
+librarySync.cmo : libraryDb.cmi coercDb.cmi cicCoercion.cmi librarySync.cmi
+librarySync.cmx : libraryDb.cmx coercDb.cmx cicCoercion.cmx librarySync.cmi
+cicElim.cmo : librarySync.cmi cicElim.cmi
+cicElim.cmx : librarySync.cmx cicElim.cmi
+cicRecord.cmo : librarySync.cmi cicRecord.cmi
+cicRecord.cmx : librarySync.cmx cicRecord.cmi
+cicFix.cmo : librarySync.cmi cicFix.cmi
+cicFix.cmx : librarySync.cmx cicFix.cmi
+libraryClean.cmo : librarySync.cmi libraryMisc.cmi libraryDb.cmi \
+    libraryClean.cmi
+libraryClean.cmx : librarySync.cmx libraryMisc.cmx libraryDb.cmx \
+    libraryClean.cmi

diff --git a/helm/software/components/logger/.depend b/helm/software/components/logger/.depend
index dfb4400ff0dce00c92943043edccecc0c1222ed5..d1b4c37162663daab85eee7845f39b2422456992 100644 (file)
--- a/helm/software/components/logger/.depend
+++ b/helm/software/components/logger/.depend
@@ -1,3 +1,3 @@
-helmLogger.cmi: 
-helmLogger.cmo: helmLogger.cmi 
-helmLogger.cmx: helmLogger.cmi 
+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..bbeb6de724850d9785bf6f327558fb2eaa5698b6 100644 (file)
--- a/helm/software/components/metadata/.depend
+++ b/helm/software/components/metadata/.depend
@@ -1,25 +1,25 @@
-sqlStatements.cmi: 
-metadataTypes.cmi: 
-metadataExtractor.cmi: metadataTypes.cmi 
-metadataPp.cmi: metadataTypes.cmi 
-metadataConstraints.cmi: metadataTypes.cmi 
-metadataDb.cmi: metadataTypes.cmi 
-metadataDeps.cmi: metadataTypes.cmi 
-sqlStatements.cmo: sqlStatements.cmi 
-sqlStatements.cmx: sqlStatements.cmi 
-metadataTypes.cmo: metadataTypes.cmi 
-metadataTypes.cmx: metadataTypes.cmi 
-metadataExtractor.cmo: metadataTypes.cmi metadataExtractor.cmi 
-metadataExtractor.cmx: metadataTypes.cmx metadataExtractor.cmi 
-metadataPp.cmo: metadataTypes.cmi metadataPp.cmi 
-metadataPp.cmx: metadataTypes.cmx metadataPp.cmi 
-metadataConstraints.cmo: metadataTypes.cmi metadataPp.cmi \
-    metadataConstraints.cmi 
-metadataConstraints.cmx: metadataTypes.cmx metadataPp.cmx \
-    metadataConstraints.cmi 
-metadataDb.cmo: metadataTypes.cmi metadataPp.cmi metadataExtractor.cmi \
-    metadataConstraints.cmi metadataDb.cmi 
-metadataDb.cmx: metadataTypes.cmx metadataPp.cmx metadataExtractor.cmx \
-    metadataConstraints.cmx metadataDb.cmi 
-metadataDeps.cmo: sqlStatements.cmi metadataTypes.cmi metadataDeps.cmi 
-metadataDeps.cmx: sqlStatements.cmx metadataTypes.cmx metadataDeps.cmi 
+sqlStatements.cmi :
+metadataTypes.cmi :
+metadataExtractor.cmi : metadataTypes.cmi
+metadataPp.cmi : metadataTypes.cmi
+metadataConstraints.cmi : metadataTypes.cmi
+metadataDb.cmi : metadataTypes.cmi
+metadataDeps.cmi : metadataTypes.cmi
+sqlStatements.cmo : sqlStatements.cmi
+sqlStatements.cmx : sqlStatements.cmi
+metadataTypes.cmo : metadataTypes.cmi
+metadataTypes.cmx : metadataTypes.cmi
+metadataExtractor.cmo : metadataTypes.cmi metadataExtractor.cmi
+metadataExtractor.cmx : metadataTypes.cmx metadataExtractor.cmi
+metadataPp.cmo : metadataTypes.cmi metadataPp.cmi
+metadataPp.cmx : metadataTypes.cmx metadataPp.cmi
+metadataConstraints.cmo : metadataTypes.cmi metadataPp.cmi \
+    metadataConstraints.cmi
+metadataConstraints.cmx : metadataTypes.cmx metadataPp.cmx \
+    metadataConstraints.cmi
+metadataDb.cmo : metadataTypes.cmi metadataPp.cmi metadataExtractor.cmi \
+    metadataConstraints.cmi metadataDb.cmi
+metadataDb.cmx : metadataTypes.cmx metadataPp.cmx metadataExtractor.cmx \
+    metadataConstraints.cmx metadataDb.cmi
+metadataDeps.cmo : sqlStatements.cmi metadataTypes.cmi metadataDeps.cmi
+metadataDeps.cmx : sqlStatements.cmx metadataTypes.cmx metadataDeps.cmi

diff --git a/helm/software/components/ng_cic_content/.depend b/helm/software/components/ng_cic_content/.depend
index 1316c8eab83e4c08ca7047ed72175492e98197a1..cf3f9ef2a13d02a1f066bd2063c0b1e018a6d229 100644 (file)
--- a/helm/software/components/ng_cic_content/.depend
+++ b/helm/software/components/ng_cic_content/.depend
@@ -1,6 +1,6 @@
-ncic2astMatcher.cmi: 
-nTermCicContent.cmi: 
-ncic2astMatcher.cmo: ncic2astMatcher.cmi 
-ncic2astMatcher.cmx: ncic2astMatcher.cmi 
-nTermCicContent.cmo: ncic2astMatcher.cmi nTermCicContent.cmi 
-nTermCicContent.cmx: ncic2astMatcher.cmx nTermCicContent.cmi 
+ncic2astMatcher.cmi :
+nTermCicContent.cmi :
+ncic2astMatcher.cmo : ncic2astMatcher.cmi
+ncic2astMatcher.cmx : ncic2astMatcher.cmi
+nTermCicContent.cmo : ncic2astMatcher.cmi nTermCicContent.cmi
+nTermCicContent.cmx : ncic2astMatcher.cmx nTermCicContent.cmi

diff --git a/helm/software/components/ng_disambiguation/.depend b/helm/software/components/ng_disambiguation/.depend
index f2694c1997a6dff5b20c4fac01297fa1fb025522..eb813b12d265a8f02248b7ecebeb313a56e211f7 100644 (file)
--- a/helm/software/components/ng_disambiguation/.depend
+++ b/helm/software/components/ng_disambiguation/.depend
@@ -1,5 +1,5 @@
-nCicDisambiguate.cmi: 
-nCicDisambiguate.cmo: nCicDisambiguate.cmi 
-nCicDisambiguate.cmx: nCicDisambiguate.cmi 
-nnumber_notation.cmo: 
-nnumber_notation.cmx: 
+nCicDisambiguate.cmi :
+nCicDisambiguate.cmo : nCicDisambiguate.cmi
+nCicDisambiguate.cmx : nCicDisambiguate.cmi
+nnumber_notation.cmo :
+nnumber_notation.cmx :

diff --git a/helm/software/components/ng_kernel/.depend b/helm/software/components/ng_kernel/.depend
index 9a4ae3fc1c204474b3cb8ca9e200ee5c0d97443d..7033ac07949e0cb615faec1b345316c3c190885c 100644 (file)
--- a/helm/software/components/ng_kernel/.depend
+++ b/helm/software/components/ng_kernel/.depend
@@ -1,41 +1,41 @@
-nUri.cmi: 
-nReference.cmi: nUri.cmi 
-nCicUtils.cmi: nCic.cmo 
-nCicSubstitution.cmi: nCic.cmo 
-nCicEnvironment.cmi: nUri.cmi nReference.cmi nCic.cmo 
-nCicPp.cmi: nUri.cmi nReference.cmi nCic.cmo 
-nCicReduction.cmi: nCic.cmo 
-nCicTypeChecker.cmi: nUri.cmi nReference.cmi nCic.cmo 
-nCicUntrusted.cmi: nCic.cmo 
-nCic.cmo: nUri.cmi nReference.cmi 
-nCic.cmx: nUri.cmx nReference.cmx 
-nUri.cmo: nUri.cmi 
-nUri.cmx: nUri.cmi 
-nReference.cmo: nUri.cmi nReference.cmi 
-nReference.cmx: nUri.cmx nReference.cmi 
-nCicUtils.cmo: nReference.cmi nCic.cmo nCicUtils.cmi 
-nCicUtils.cmx: nReference.cmx nCic.cmx nCicUtils.cmi 
-nCicSubstitution.cmo: nReference.cmi nCicUtils.cmi nCic.cmo \
-    nCicSubstitution.cmi 
-nCicSubstitution.cmx: nReference.cmx nCicUtils.cmx nCic.cmx \
-    nCicSubstitution.cmi 
-nCicEnvironment.cmo: nUri.cmi nReference.cmi nCic.cmo nCicEnvironment.cmi 
-nCicEnvironment.cmx: nUri.cmx nReference.cmx nCic.cmx nCicEnvironment.cmi 
-nCicPp.cmo: nUri.cmi nReference.cmi nCicSubstitution.cmi nCicEnvironment.cmi \
-    nCic.cmo nCicPp.cmi 
-nCicPp.cmx: nUri.cmx nReference.cmx nCicSubstitution.cmx nCicEnvironment.cmx \
-    nCic.cmx nCicPp.cmi 
-nCicReduction.cmo: nReference.cmi nCicUtils.cmi nCicSubstitution.cmi \
-    nCicPp.cmi nCicEnvironment.cmi nCic.cmo nCicReduction.cmi 
-nCicReduction.cmx: nReference.cmx nCicUtils.cmx nCicSubstitution.cmx \
-    nCicPp.cmx nCicEnvironment.cmx nCic.cmx nCicReduction.cmi 
-nCicTypeChecker.cmo: nUri.cmi nReference.cmi nCicUtils.cmi \
+nUri.cmi :
+nReference.cmi : nUri.cmi
+nCicUtils.cmi : nCic.cmo
+nCicSubstitution.cmi : nCic.cmo
+nCicEnvironment.cmi : nUri.cmi nReference.cmi nCic.cmo
+nCicPp.cmi : nUri.cmi nReference.cmi nCic.cmo
+nCicReduction.cmi : nCic.cmo
+nCicTypeChecker.cmi : nUri.cmi nReference.cmi nCic.cmo
+nCicUntrusted.cmi : nCic.cmo
+nCic.cmo : nUri.cmi nReference.cmi
+nCic.cmx : nUri.cmx nReference.cmx
+nUri.cmo : nUri.cmi
+nUri.cmx : nUri.cmi
+nReference.cmo : nUri.cmi nReference.cmi
+nReference.cmx : nUri.cmx nReference.cmi
+nCicUtils.cmo : nReference.cmi nCic.cmo nCicUtils.cmi
+nCicUtils.cmx : nReference.cmx nCic.cmx nCicUtils.cmi
+nCicSubstitution.cmo : nReference.cmi nCicUtils.cmi nCic.cmo \
+    nCicSubstitution.cmi
+nCicSubstitution.cmx : nReference.cmx nCicUtils.cmx nCic.cmx \
+    nCicSubstitution.cmi
+nCicEnvironment.cmo : nUri.cmi nReference.cmi nCic.cmo nCicEnvironment.cmi
+nCicEnvironment.cmx : nUri.cmx nReference.cmx nCic.cmx nCicEnvironment.cmi
+nCicPp.cmo : nUri.cmi nReference.cmi nCicSubstitution.cmi \
+    nCicEnvironment.cmi nCic.cmo nCicPp.cmi
+nCicPp.cmx : nUri.cmx nReference.cmx nCicSubstitution.cmx \
+    nCicEnvironment.cmx nCic.cmx nCicPp.cmi
+nCicReduction.cmo : nReference.cmi nCicUtils.cmi nCicSubstitution.cmi \
+    nCicPp.cmi nCicEnvironment.cmi nCic.cmo nCicReduction.cmi
+nCicReduction.cmx : nReference.cmx nCicUtils.cmx nCicSubstitution.cmx \
+    nCicPp.cmx nCicEnvironment.cmx nCic.cmx nCicReduction.cmi
+nCicTypeChecker.cmo : nUri.cmi nReference.cmi nCicUtils.cmi \
     nCicSubstitution.cmi nCicReduction.cmi nCicPp.cmi nCicEnvironment.cmi \
-    nCic.cmo nCicTypeChecker.cmi 
-nCicTypeChecker.cmx: nUri.cmx nReference.cmx nCicUtils.cmx \
+    nCic.cmo nCicTypeChecker.cmi
+nCicTypeChecker.cmx : nUri.cmx nReference.cmx nCicUtils.cmx \
     nCicSubstitution.cmx nCicReduction.cmx nCicPp.cmx nCicEnvironment.cmx \
-    nCic.cmx nCicTypeChecker.cmi 
-nCicUntrusted.cmo: nReference.cmi nCicUtils.cmi nCicSubstitution.cmi \
-    nCicReduction.cmi nCicEnvironment.cmi nCic.cmo nCicUntrusted.cmi 
-nCicUntrusted.cmx: nReference.cmx nCicUtils.cmx nCicSubstitution.cmx \
-    nCicReduction.cmx nCicEnvironment.cmx nCic.cmx nCicUntrusted.cmi 
+    nCic.cmx nCicTypeChecker.cmi
+nCicUntrusted.cmo : nReference.cmi nCicUtils.cmi nCicSubstitution.cmi \
+    nCicReduction.cmi nCicEnvironment.cmi nCic.cmo nCicUntrusted.cmi
+nCicUntrusted.cmx : nReference.cmx nCicUtils.cmx nCicSubstitution.cmx \
+    nCicReduction.cmx nCicEnvironment.cmx nCic.cmx nCicUntrusted.cmi

diff --git a/helm/software/components/ng_library/.depend b/helm/software/components/ng_library/.depend
index e379b9fc633bb74d63c7c774afe8fe68c1dfd0df..01d28ead03ee9439fa04d858b54e393ba4f3d15d 100644 (file)
--- a/helm/software/components/ng_library/.depend
+++ b/helm/software/components/ng_library/.depend
@@ -1,9 +1,9 @@
-nCic2OCic.cmi: 
-oCic2NCic.cmi: 
-nCicLibrary.cmi: 
-nCic2OCic.cmo: nCic2OCic.cmi 
-nCic2OCic.cmx: nCic2OCic.cmi 
-oCic2NCic.cmo: oCic2NCic.cmi 
-oCic2NCic.cmx: oCic2NCic.cmi 
-nCicLibrary.cmo: oCic2NCic.cmi nCic2OCic.cmi nCicLibrary.cmi 
-nCicLibrary.cmx: oCic2NCic.cmx nCic2OCic.cmx nCicLibrary.cmi 
+nCic2OCic.cmi :
+oCic2NCic.cmi :
+nCicLibrary.cmi :
+nCic2OCic.cmo : nCic2OCic.cmi
+nCic2OCic.cmx : nCic2OCic.cmi
+oCic2NCic.cmo : oCic2NCic.cmi
+oCic2NCic.cmx : oCic2NCic.cmi
+nCicLibrary.cmo : oCic2NCic.cmi nCic2OCic.cmi nCicLibrary.cmi
+nCicLibrary.cmx : oCic2NCic.cmx nCic2OCic.cmx nCicLibrary.cmi

diff --git a/helm/software/components/ng_paramodulation/.depend b/helm/software/components/ng_paramodulation/.depend
index 369ed6b69068acbe0644b42cf2d38e8f5bb48c02..ac6563e6c301d88e0d353df329067cb833a1b01a 100644 (file)
--- a/helm/software/components/ng_paramodulation/.depend
+++ b/helm/software/components/ng_paramodulation/.depend
@@ -1,48 +1,48 @@
-terms.cmi: 
-pp.cmi: terms.cmi 
-foSubst.cmi: terms.cmi 
-orderings.cmi: terms.cmi 
-foUtils.cmi: terms.cmi orderings.cmi 
-foUnif.cmi: terms.cmi orderings.cmi 
-index.cmi: terms.cmi orderings.cmi 
-superposition.cmi: terms.cmi orderings.cmi index.cmi 
-stats.cmi: terms.cmi orderings.cmi 
-paramod.cmi: terms.cmi orderings.cmi 
-nCicBlob.cmi: terms.cmi 
-cicBlob.cmi: terms.cmi 
-nCicProof.cmi: terms.cmi 
-nCicParamod.cmi: 
-terms.cmo: terms.cmi 
-terms.cmx: terms.cmi 
-pp.cmo: terms.cmi pp.cmi 
-pp.cmx: terms.cmx pp.cmi 
-foSubst.cmo: terms.cmi foSubst.cmi 
-foSubst.cmx: terms.cmx foSubst.cmi 
-orderings.cmo: terms.cmi pp.cmi foSubst.cmi orderings.cmi 
-orderings.cmx: terms.cmx pp.cmx foSubst.cmx orderings.cmi 
-foUtils.cmo: terms.cmi orderings.cmi foSubst.cmi foUtils.cmi 
-foUtils.cmx: terms.cmx orderings.cmx foSubst.cmx foUtils.cmi 
-foUnif.cmo: terms.cmi orderings.cmi foUtils.cmi foSubst.cmi foUnif.cmi 
-foUnif.cmx: terms.cmx orderings.cmx foUtils.cmx foSubst.cmx foUnif.cmi 
-index.cmo: terms.cmi pp.cmi orderings.cmi foUtils.cmi foUnif.cmi index.cmi 
-index.cmx: terms.cmx pp.cmx orderings.cmx foUtils.cmx foUnif.cmx index.cmi 
-superposition.cmo: terms.cmi pp.cmi orderings.cmi index.cmi foUtils.cmi \
-    foUnif.cmi foSubst.cmi superposition.cmi 
-superposition.cmx: terms.cmx pp.cmx orderings.cmx index.cmx foUtils.cmx \
-    foUnif.cmx foSubst.cmx superposition.cmi 
-stats.cmo: terms.cmi stats.cmi 
-stats.cmx: terms.cmx stats.cmi 
-paramod.cmo: terms.cmi superposition.cmi pp.cmi orderings.cmi index.cmi \
-    foUtils.cmi foUnif.cmi paramod.cmi 
-paramod.cmx: terms.cmx superposition.cmx pp.cmx orderings.cmx index.cmx \
-    foUtils.cmx foUnif.cmx paramod.cmi 
-nCicBlob.cmo: terms.cmi foUtils.cmi nCicBlob.cmi 
-nCicBlob.cmx: terms.cmx foUtils.cmx nCicBlob.cmi 
-cicBlob.cmo: terms.cmi cicBlob.cmi 
-cicBlob.cmx: terms.cmx cicBlob.cmi 
-nCicProof.cmo: terms.cmi pp.cmi nCicBlob.cmi foSubst.cmi nCicProof.cmi 
-nCicProof.cmx: terms.cmx pp.cmx nCicBlob.cmx foSubst.cmx nCicProof.cmi 
-nCicParamod.cmo: terms.cmi pp.cmi paramod.cmi orderings.cmi nCicProof.cmi \
-    nCicBlob.cmi nCicParamod.cmi 
-nCicParamod.cmx: terms.cmx pp.cmx paramod.cmx orderings.cmx nCicProof.cmx \
-    nCicBlob.cmx nCicParamod.cmi 
+terms.cmi :
+pp.cmi : terms.cmi
+foSubst.cmi : terms.cmi
+orderings.cmi : terms.cmi
+foUtils.cmi : terms.cmi orderings.cmi
+foUnif.cmi : terms.cmi orderings.cmi
+index.cmi : terms.cmi orderings.cmi
+superposition.cmi : terms.cmi orderings.cmi index.cmi
+stats.cmi : terms.cmi orderings.cmi
+paramod.cmi : terms.cmi orderings.cmi
+nCicBlob.cmi : terms.cmi
+cicBlob.cmi : terms.cmi
+nCicProof.cmi : terms.cmi
+nCicParamod.cmi :
+terms.cmo : terms.cmi
+terms.cmx : terms.cmi
+pp.cmo : terms.cmi pp.cmi
+pp.cmx : terms.cmx pp.cmi
+foSubst.cmo : terms.cmi foSubst.cmi
+foSubst.cmx : terms.cmx foSubst.cmi
+orderings.cmo : terms.cmi pp.cmi foSubst.cmi orderings.cmi
+orderings.cmx : terms.cmx pp.cmx foSubst.cmx orderings.cmi
+foUtils.cmo : terms.cmi orderings.cmi foSubst.cmi foUtils.cmi
+foUtils.cmx : terms.cmx orderings.cmx foSubst.cmx foUtils.cmi
+foUnif.cmo : terms.cmi orderings.cmi foUtils.cmi foSubst.cmi foUnif.cmi
+foUnif.cmx : terms.cmx orderings.cmx foUtils.cmx foSubst.cmx foUnif.cmi
+index.cmo : terms.cmi pp.cmi orderings.cmi foUtils.cmi foUnif.cmi index.cmi
+index.cmx : terms.cmx pp.cmx orderings.cmx foUtils.cmx foUnif.cmx index.cmi
+superposition.cmo : terms.cmi pp.cmi orderings.cmi index.cmi foUtils.cmi \
+    foUnif.cmi foSubst.cmi superposition.cmi
+superposition.cmx : terms.cmx pp.cmx orderings.cmx index.cmx foUtils.cmx \
+    foUnif.cmx foSubst.cmx superposition.cmi
+stats.cmo : terms.cmi stats.cmi
+stats.cmx : terms.cmx stats.cmi
+paramod.cmo : terms.cmi superposition.cmi pp.cmi orderings.cmi index.cmi \
+    foUtils.cmi foUnif.cmi paramod.cmi
+paramod.cmx : terms.cmx superposition.cmx pp.cmx orderings.cmx index.cmx \
+    foUtils.cmx foUnif.cmx paramod.cmi
+nCicBlob.cmo : terms.cmi foUtils.cmi nCicBlob.cmi
+nCicBlob.cmx : terms.cmx foUtils.cmx nCicBlob.cmi
+cicBlob.cmo : terms.cmi cicBlob.cmi
+cicBlob.cmx : terms.cmx cicBlob.cmi
+nCicProof.cmo : terms.cmi pp.cmi nCicBlob.cmi foSubst.cmi nCicProof.cmi
+nCicProof.cmx : terms.cmx pp.cmx nCicBlob.cmx foSubst.cmx nCicProof.cmi
+nCicParamod.cmo : terms.cmi pp.cmi paramod.cmi orderings.cmi nCicProof.cmi \
+    nCicBlob.cmi nCicParamod.cmi
+nCicParamod.cmx : terms.cmx pp.cmx paramod.cmx orderings.cmx nCicProof.cmx \
+    nCicBlob.cmx nCicParamod.cmi

diff --git a/helm/software/components/ng_refiner/.depend b/helm/software/components/ng_refiner/.depend
index da0ab80fc1102419bb4d0668c1e3cd21e0daba14..f2a878f87cf98b7a928af750fbd4a6e0679c7d95 100644 (file)
--- a/helm/software/components/ng_refiner/.depend
+++ b/helm/software/components/ng_refiner/.depend
@@ -1,28 +1,30 @@
-nDiscriminationTree.cmi: 
-nCicMetaSubst.cmi: 
-nCicUnifHint.cmi: 
-nCicCoercion.cmi: nCicUnifHint.cmi 
-nRstatus.cmi: nCicCoercion.cmi 
-nCicRefineUtil.cmi: 
-nCicUnification.cmi: nRstatus.cmi 
-nCicRefiner.cmi: nRstatus.cmi 
-nDiscriminationTree.cmo: nDiscriminationTree.cmi 
-nDiscriminationTree.cmx: nDiscriminationTree.cmi 
-nCicMetaSubst.cmo: nCicMetaSubst.cmi 
-nCicMetaSubst.cmx: nCicMetaSubst.cmi 
-nCicUnifHint.cmo: nDiscriminationTree.cmi nCicMetaSubst.cmi nCicUnifHint.cmi 
-nCicUnifHint.cmx: nDiscriminationTree.cmx nCicMetaSubst.cmx nCicUnifHint.cmi 
-nCicCoercion.cmo: nDiscriminationTree.cmi nCicUnifHint.cmi nCicMetaSubst.cmi \
-    nCicCoercion.cmi 
-nCicCoercion.cmx: nDiscriminationTree.cmx nCicUnifHint.cmx nCicMetaSubst.cmx \
-    nCicCoercion.cmi 
-nRstatus.cmo: nCicCoercion.cmi nRstatus.cmi 
-nRstatus.cmx: nCicCoercion.cmx nRstatus.cmi 
-nCicRefineUtil.cmo: nCicMetaSubst.cmi nCicRefineUtil.cmi 
-nCicRefineUtil.cmx: nCicMetaSubst.cmx nCicRefineUtil.cmi 
-nCicUnification.cmo: nCicUnifHint.cmi nCicMetaSubst.cmi nCicUnification.cmi 
-nCicUnification.cmx: nCicUnifHint.cmx nCicMetaSubst.cmx nCicUnification.cmi 
-nCicRefiner.cmo: nCicUnification.cmi nCicRefineUtil.cmi nCicMetaSubst.cmi \
-    nCicCoercion.cmi nCicRefiner.cmi 
-nCicRefiner.cmx: nCicUnification.cmx nCicRefineUtil.cmx nCicMetaSubst.cmx \
-    nCicCoercion.cmx nCicRefiner.cmi 
+nDiscriminationTree.cmi :
+nCicMetaSubst.cmi :
+nCicUnifHint.cmi :
+nCicCoercion.cmi : nCicUnifHint.cmi
+nRstatus.cmi : nCicCoercion.cmi
+nCicRefineUtil.cmi :
+nCicUnification.cmi : nRstatus.cmi
+nCicRefiner.cmi : nRstatus.cmi
+nDiscriminationTree.cmo : nDiscriminationTree.cmi
+nDiscriminationTree.cmx : nDiscriminationTree.cmi
+nCicMetaSubst.cmo : nCicMetaSubst.cmi
+nCicMetaSubst.cmx : nCicMetaSubst.cmi
+nCicUnifHint.cmo : nDiscriminationTree.cmi nCicMetaSubst.cmi \
+    nCicUnifHint.cmi
+nCicUnifHint.cmx : nDiscriminationTree.cmx nCicMetaSubst.cmx \
+    nCicUnifHint.cmi
+nCicCoercion.cmo : nDiscriminationTree.cmi nCicUnifHint.cmi \
+    nCicMetaSubst.cmi nCicCoercion.cmi
+nCicCoercion.cmx : nDiscriminationTree.cmx nCicUnifHint.cmx \
+    nCicMetaSubst.cmx nCicCoercion.cmi
+nRstatus.cmo : nCicCoercion.cmi nRstatus.cmi
+nRstatus.cmx : nCicCoercion.cmx nRstatus.cmi
+nCicRefineUtil.cmo : nCicMetaSubst.cmi nCicRefineUtil.cmi
+nCicRefineUtil.cmx : nCicMetaSubst.cmx nCicRefineUtil.cmi
+nCicUnification.cmo : nCicUnifHint.cmi nCicMetaSubst.cmi nCicUnification.cmi
+nCicUnification.cmx : nCicUnifHint.cmx nCicMetaSubst.cmx nCicUnification.cmi
+nCicRefiner.cmo : nCicUnification.cmi nCicRefineUtil.cmi nCicMetaSubst.cmi \
+    nCicCoercion.cmi nCicRefiner.cmi
+nCicRefiner.cmx : nCicUnification.cmx nCicRefineUtil.cmx nCicMetaSubst.cmx \
+    nCicCoercion.cmx nCicRefiner.cmi

diff --git a/helm/software/components/ng_tactics/.depend b/helm/software/components/ng_tactics/.depend
index c54a536d9a77f3ac5168550515f522108b1b57f3..2aa2da2fe8f30ef98cb27c43484d5ed20be74e00 100644 (file)
--- a/helm/software/components/ng_tactics/.depend
+++ b/helm/software/components/ng_tactics/.depend
@@ -1,32 +1,32 @@
-nCicTacReduction.cmi: 
-nTacStatus.cmi: 
-nCicElim.cmi: 
-nTactics.cmi: nTacStatus.cmi 
-zipTree.cmi: 
-andOrTree.cmi: zipTree.cmi 
-nnAuto.cmi: nTacStatus.cmi 
-nAuto.cmi: nTacStatus.cmi 
-nInversion.cmi: nTacStatus.cmi 
-nDestructTac.cmi: nTacStatus.cmi 
-nCicTacReduction.cmo: nCicTacReduction.cmi 
-nCicTacReduction.cmx: nCicTacReduction.cmi 
-nTacStatus.cmo: nCicTacReduction.cmi nTacStatus.cmi 
-nTacStatus.cmx: nCicTacReduction.cmx nTacStatus.cmi 
-nCicElim.cmo: nCicElim.cmi 
-nCicElim.cmx: nCicElim.cmi 
-nTactics.cmo: nTacStatus.cmi nCicElim.cmi nTactics.cmi 
-nTactics.cmx: nTacStatus.cmx nCicElim.cmx nTactics.cmi 
-zipTree.cmo: zipTree.cmi 
-zipTree.cmx: zipTree.cmi 
-andOrTree.cmo: zipTree.cmi andOrTree.cmi 
-andOrTree.cmx: zipTree.cmx andOrTree.cmi 
-nnAuto.cmo: nTactics.cmi nTacStatus.cmi nCicTacReduction.cmi nnAuto.cmi 
-nnAuto.cmx: nTactics.cmx nTacStatus.cmx nCicTacReduction.cmx nnAuto.cmi 
-nAuto.cmo: zipTree.cmi nnAuto.cmi nTactics.cmi nTacStatus.cmi andOrTree.cmi \
-    nAuto.cmi 
-nAuto.cmx: zipTree.cmx nnAuto.cmx nTactics.cmx nTacStatus.cmx andOrTree.cmx \
-    nAuto.cmi 
-nInversion.cmo: nTactics.cmi nCicElim.cmi nInversion.cmi 
-nInversion.cmx: nTactics.cmx nCicElim.cmx nInversion.cmi 
-nDestructTac.cmo: nTactics.cmi nTacStatus.cmi nDestructTac.cmi 
-nDestructTac.cmx: nTactics.cmx nTacStatus.cmx nDestructTac.cmi 
+nCicTacReduction.cmi :
+nTacStatus.cmi :
+nCicElim.cmi :
+nTactics.cmi : nTacStatus.cmi
+zipTree.cmi :
+andOrTree.cmi : zipTree.cmi
+nnAuto.cmi : nTacStatus.cmi
+nAuto.cmi : nTacStatus.cmi
+nDestructTac.cmi : nTacStatus.cmi
+nInversion.cmi : nTacStatus.cmi
+nCicTacReduction.cmo : nCicTacReduction.cmi
+nCicTacReduction.cmx : nCicTacReduction.cmi
+nTacStatus.cmo : nCicTacReduction.cmi nTacStatus.cmi
+nTacStatus.cmx : nCicTacReduction.cmx nTacStatus.cmi
+nCicElim.cmo : nCicElim.cmi
+nCicElim.cmx : nCicElim.cmi
+nTactics.cmo : nTacStatus.cmi nCicElim.cmi nTactics.cmi
+nTactics.cmx : nTacStatus.cmx nCicElim.cmx nTactics.cmi
+zipTree.cmo : zipTree.cmi
+zipTree.cmx : zipTree.cmi
+andOrTree.cmo : zipTree.cmi andOrTree.cmi
+andOrTree.cmx : zipTree.cmx andOrTree.cmi
+nnAuto.cmo : nTactics.cmi nTacStatus.cmi nCicTacReduction.cmi nnAuto.cmi
+nnAuto.cmx : nTactics.cmx nTacStatus.cmx nCicTacReduction.cmx nnAuto.cmi
+nAuto.cmo : zipTree.cmi nnAuto.cmi nTactics.cmi nTacStatus.cmi andOrTree.cmi \
+    nAuto.cmi
+nAuto.cmx : zipTree.cmx nnAuto.cmx nTactics.cmx nTacStatus.cmx andOrTree.cmx \
+    nAuto.cmi
+nDestructTac.cmo : nTactics.cmi nTacStatus.cmi nDestructTac.cmi
+nDestructTac.cmx : nTactics.cmx nTacStatus.cmx nDestructTac.cmi
+nInversion.cmo : nTactics.cmi nCicElim.cmi nInversion.cmi
+nInversion.cmx : nTactics.cmx nCicElim.cmx nInversion.cmi

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

diff --git a/helm/software/components/syntax_extensions/.depend b/helm/software/components/syntax_extensions/.depend
index 119f13093a98003e4d06ea0244ce7aae7f76e6e3..4b9bcffd411bfa4af1b6e971d5e50079d8bc0af0 100644 (file)
--- a/helm/software/components/syntax_extensions/.depend
+++ b/helm/software/components/syntax_extensions/.depend
@@ -1,5 +1,5 @@
-utf8Macro.cmi:
-utf8MacroTable.cmo:
-utf8MacroTable.cmx:
-utf8Macro.cmo: utf8MacroTable.cmo utf8Macro.cmi
-utf8Macro.cmx: utf8MacroTable.cmx utf8Macro.cmi
+utf8Macro.cmi :
+utf8MacroTable.cmo :
+utf8MacroTable.cmx :
+utf8Macro.cmo : utf8MacroTable.cmo utf8Macro.cmi
+utf8Macro.cmx : utf8MacroTable.cmx utf8Macro.cmi

diff --git a/helm/software/components/tactics/.depend b/helm/software/components/tactics/.depend
index d9d6034a11e090bef20f2d14ccd1d8fb4e5692e2..8ff73e873af2707db9717d575b61b823a5e61220 100644 (file)
--- a/helm/software/components/tactics/.depend
+++ b/helm/software/components/tactics/.depend
@@ -1,229 +1,231 @@
-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 
-paramodulation/equality_indexing.cmi: paramodulation/utils.cmi \
-    paramodulation/equality.cmi 
-paramodulation/indexing.cmi: paramodulation/utils.cmi \
+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
+paramodulation/equality_indexing.cmi : paramodulation/utils.cmi \
+    paramodulation/equality.cmi
+paramodulation/indexing.cmi : paramodulation/utils.cmi \
     paramodulation/subst.cmi paramodulation/equality_indexing.cmi \
-    paramodulation/equality.cmi 
-paramodulation/saturation.cmi: paramodulation/utils.cmi proofEngineTypes.cmi \
-    paramodulation/indexing.cmi paramodulation/equality.cmi 
-automationCache.cmi: universe.cmi paramodulation/saturation.cmi \
-    paramodulation/equality.cmi 
-variousTactics.cmi: proofEngineTypes.cmi 
-compose.cmi: proofEngineTypes.cmi 
-introductionTactics.cmi: proofEngineTypes.cmi 
-eliminationTactics.cmi: proofEngineTypes.cmi 
-negationTactics.cmi: proofEngineTypes.cmi 
-equalityTactics.cmi: proofEngineTypes.cmi 
-auto.cmi: proofEngineTypes.cmi automationCache.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: tacticals.cmi proofEngineTypes.cmi automationCache.cmi auto.cmi 
-declarative.cmi: proofEngineTypes.cmi automationCache.cmi auto.cmi 
-proofEngineTypes.cmo: proofEngineTypes.cmi 
-proofEngineTypes.cmx: proofEngineTypes.cmi 
-proofEngineHelpers.cmo: proofEngineTypes.cmi proofEngineHelpers.cmi 
-proofEngineHelpers.cmx: proofEngineTypes.cmx proofEngineHelpers.cmi 
-proofEngineReduction.cmo: proofEngineTypes.cmi proofEngineHelpers.cmi \
-    proofEngineReduction.cmi 
-proofEngineReduction.cmx: proofEngineTypes.cmx proofEngineHelpers.cmx \
-    proofEngineReduction.cmi 
-continuationals.cmo: proofEngineTypes.cmi continuationals.cmi 
-continuationals.cmx: proofEngineTypes.cmx continuationals.cmi 
-tacticals.cmo: proofEngineTypes.cmi continuationals.cmi tacticals.cmi 
-tacticals.cmx: proofEngineTypes.cmx continuationals.cmx tacticals.cmi 
-reductionTactics.cmo: proofEngineTypes.cmi proofEngineReduction.cmi \
-    proofEngineHelpers.cmi reductionTactics.cmi 
-reductionTactics.cmx: proofEngineTypes.cmx proofEngineReduction.cmx \
-    proofEngineHelpers.cmx reductionTactics.cmi 
-proofEngineStructuralRules.cmo: proofEngineTypes.cmi \
-    proofEngineStructuralRules.cmi 
-proofEngineStructuralRules.cmx: proofEngineTypes.cmx \
-    proofEngineStructuralRules.cmi 
-primitiveTactics.cmo: tacticals.cmi reductionTactics.cmi proofEngineTypes.cmi \
-    proofEngineStructuralRules.cmi proofEngineReduction.cmi \
-    proofEngineHelpers.cmi primitiveTactics.cmi 
-primitiveTactics.cmx: tacticals.cmx reductionTactics.cmx proofEngineTypes.cmx \
-    proofEngineStructuralRules.cmx proofEngineReduction.cmx \
-    proofEngineHelpers.cmx primitiveTactics.cmi 
-hashtbl_equiv.cmo: hashtbl_equiv.cmi 
-hashtbl_equiv.cmx: hashtbl_equiv.cmi 
-metadataQuery.cmo: proofEngineTypes.cmi primitiveTactics.cmi \
-    hashtbl_equiv.cmi metadataQuery.cmi 
-metadataQuery.cmx: proofEngineTypes.cmx primitiveTactics.cmx \
-    hashtbl_equiv.cmx metadataQuery.cmi 
-universe.cmo: proofEngineTypes.cmi proofEngineReduction.cmi universe.cmi 
-universe.cmx: proofEngineTypes.cmx proofEngineReduction.cmx universe.cmi 
-autoTypes.cmo: autoTypes.cmi 
-autoTypes.cmx: autoTypes.cmi 
-autoCache.cmo: universe.cmi autoCache.cmi 
-autoCache.cmx: universe.cmx autoCache.cmi 
-paramodulation/utils.cmo: proofEngineReduction.cmi paramodulation/utils.cmi 
-paramodulation/utils.cmx: proofEngineReduction.cmx paramodulation/utils.cmi 
-closeCoercionGraph.cmo: closeCoercionGraph.cmi 
-closeCoercionGraph.cmx: closeCoercionGraph.cmi 
-paramodulation/subst.cmo: paramodulation/subst.cmi 
-paramodulation/subst.cmx: paramodulation/subst.cmi 
-paramodulation/equality.cmo: paramodulation/utils.cmi \
+    paramodulation/equality.cmi
+paramodulation/saturation.cmi : paramodulation/utils.cmi \
+    proofEngineTypes.cmi paramodulation/indexing.cmi \
+    paramodulation/equality.cmi
+automationCache.cmi : universe.cmi paramodulation/saturation.cmi \
+    paramodulation/equality.cmi
+variousTactics.cmi : proofEngineTypes.cmi
+compose.cmi : proofEngineTypes.cmi
+introductionTactics.cmi : proofEngineTypes.cmi
+eliminationTactics.cmi : proofEngineTypes.cmi
+negationTactics.cmi : proofEngineTypes.cmi
+equalityTactics.cmi : proofEngineTypes.cmi
+auto.cmi : proofEngineTypes.cmi automationCache.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 : tacticals.cmi proofEngineTypes.cmi automationCache.cmi \
+    auto.cmi
+declarative.cmi : proofEngineTypes.cmi automationCache.cmi auto.cmi
+proofEngineTypes.cmo : proofEngineTypes.cmi
+proofEngineTypes.cmx : proofEngineTypes.cmi
+proofEngineHelpers.cmo : proofEngineTypes.cmi proofEngineHelpers.cmi
+proofEngineHelpers.cmx : proofEngineTypes.cmx proofEngineHelpers.cmi
+proofEngineReduction.cmo : proofEngineTypes.cmi proofEngineHelpers.cmi \
+    proofEngineReduction.cmi
+proofEngineReduction.cmx : proofEngineTypes.cmx proofEngineHelpers.cmx \
+    proofEngineReduction.cmi
+continuationals.cmo : proofEngineTypes.cmi continuationals.cmi
+continuationals.cmx : proofEngineTypes.cmx continuationals.cmi
+tacticals.cmo : proofEngineTypes.cmi continuationals.cmi tacticals.cmi
+tacticals.cmx : proofEngineTypes.cmx continuationals.cmx tacticals.cmi
+reductionTactics.cmo : proofEngineTypes.cmi proofEngineReduction.cmi \
+    proofEngineHelpers.cmi reductionTactics.cmi
+reductionTactics.cmx : proofEngineTypes.cmx proofEngineReduction.cmx \
+    proofEngineHelpers.cmx reductionTactics.cmi
+proofEngineStructuralRules.cmo : proofEngineTypes.cmi \
+    proofEngineStructuralRules.cmi
+proofEngineStructuralRules.cmx : proofEngineTypes.cmx \
+    proofEngineStructuralRules.cmi
+primitiveTactics.cmo : tacticals.cmi reductionTactics.cmi \
+    proofEngineTypes.cmi proofEngineStructuralRules.cmi \
+    proofEngineReduction.cmi proofEngineHelpers.cmi primitiveTactics.cmi
+primitiveTactics.cmx : tacticals.cmx reductionTactics.cmx \
+    proofEngineTypes.cmx proofEngineStructuralRules.cmx \
+    proofEngineReduction.cmx proofEngineHelpers.cmx primitiveTactics.cmi
+hashtbl_equiv.cmo : hashtbl_equiv.cmi
+hashtbl_equiv.cmx : hashtbl_equiv.cmi
+metadataQuery.cmo : proofEngineTypes.cmi primitiveTactics.cmi \
+    hashtbl_equiv.cmi metadataQuery.cmi
+metadataQuery.cmx : proofEngineTypes.cmx primitiveTactics.cmx \
+    hashtbl_equiv.cmx metadataQuery.cmi
+universe.cmo : proofEngineTypes.cmi proofEngineReduction.cmi universe.cmi
+universe.cmx : proofEngineTypes.cmx proofEngineReduction.cmx universe.cmi
+autoTypes.cmo : autoTypes.cmi
+autoTypes.cmx : autoTypes.cmi
+autoCache.cmo : universe.cmi autoCache.cmi
+autoCache.cmx : universe.cmx autoCache.cmi
+paramodulation/utils.cmo : proofEngineReduction.cmi paramodulation/utils.cmi
+paramodulation/utils.cmx : proofEngineReduction.cmx paramodulation/utils.cmi
+closeCoercionGraph.cmo : closeCoercionGraph.cmi
+closeCoercionGraph.cmx : closeCoercionGraph.cmi
+paramodulation/subst.cmo : paramodulation/subst.cmi
+paramodulation/subst.cmx : paramodulation/subst.cmi
+paramodulation/equality.cmo : paramodulation/utils.cmi \
     paramodulation/subst.cmi proofEngineTypes.cmi proofEngineReduction.cmi \
-    paramodulation/equality.cmi 
-paramodulation/equality.cmx: paramodulation/utils.cmx \
+    paramodulation/equality.cmi
+paramodulation/equality.cmx : paramodulation/utils.cmx \
     paramodulation/subst.cmx proofEngineTypes.cmx proofEngineReduction.cmx \
-    paramodulation/equality.cmi 
-paramodulation/founif.cmo: paramodulation/utils.cmi paramodulation/subst.cmi \
-    paramodulation/founif.cmi 
-paramodulation/founif.cmx: paramodulation/utils.cmx paramodulation/subst.cmx \
-    paramodulation/founif.cmi 
-paramodulation/equality_indexing.cmo: paramodulation/utils.cmi \
-    paramodulation/equality.cmi paramodulation/equality_indexing.cmi 
-paramodulation/equality_indexing.cmx: paramodulation/utils.cmx \
-    paramodulation/equality.cmx paramodulation/equality_indexing.cmi 
-paramodulation/indexing.cmo: paramodulation/utils.cmi \
+    paramodulation/equality.cmi
+paramodulation/founif.cmo : paramodulation/utils.cmi \
+    paramodulation/subst.cmi paramodulation/founif.cmi
+paramodulation/founif.cmx : paramodulation/utils.cmx \
+    paramodulation/subst.cmx paramodulation/founif.cmi
+paramodulation/equality_indexing.cmo : paramodulation/utils.cmi \
+    paramodulation/equality.cmi paramodulation/equality_indexing.cmi
+paramodulation/equality_indexing.cmx : paramodulation/utils.cmx \
+    paramodulation/equality.cmx paramodulation/equality_indexing.cmi
+paramodulation/indexing.cmo : paramodulation/utils.cmi \
     paramodulation/subst.cmi proofEngineTypes.cmi paramodulation/founif.cmi \
     paramodulation/equality_indexing.cmi paramodulation/equality.cmi \
-    paramodulation/indexing.cmi 
-paramodulation/indexing.cmx: paramodulation/utils.cmx \
+    paramodulation/indexing.cmi
+paramodulation/indexing.cmx : paramodulation/utils.cmx \
     paramodulation/subst.cmx proofEngineTypes.cmx paramodulation/founif.cmx \
     paramodulation/equality_indexing.cmx paramodulation/equality.cmx \
-    paramodulation/indexing.cmi 
-paramodulation/saturation.cmo: paramodulation/utils.cmi \
+    paramodulation/indexing.cmi
+paramodulation/saturation.cmo : paramodulation/utils.cmi \
     paramodulation/subst.cmi proofEngineTypes.cmi proofEngineHelpers.cmi \
     paramodulation/indexing.cmi paramodulation/founif.cmi \
-    paramodulation/equality.cmi paramodulation/saturation.cmi 
-paramodulation/saturation.cmx: paramodulation/utils.cmx \
+    paramodulation/equality.cmi paramodulation/saturation.cmi
+paramodulation/saturation.cmx : paramodulation/utils.cmx \
     paramodulation/subst.cmx proofEngineTypes.cmx proofEngineHelpers.cmx \
     paramodulation/indexing.cmx paramodulation/founif.cmx \
-    paramodulation/equality.cmx paramodulation/saturation.cmi 
-automationCache.cmo: universe.cmi paramodulation/saturation.cmi \
-    paramodulation/equality.cmi automationCache.cmi 
-automationCache.cmx: universe.cmx paramodulation/saturation.cmx \
-    paramodulation/equality.cmx automationCache.cmi 
-variousTactics.cmo: proofEngineTypes.cmi primitiveTactics.cmi \
-    variousTactics.cmi 
-variousTactics.cmx: proofEngineTypes.cmx primitiveTactics.cmx \
-    variousTactics.cmi 
-compose.cmo: proofEngineTypes.cmi primitiveTactics.cmi closeCoercionGraph.cmi \
-    compose.cmi 
-compose.cmx: proofEngineTypes.cmx primitiveTactics.cmx closeCoercionGraph.cmx \
-    compose.cmi 
-introductionTactics.cmo: proofEngineTypes.cmi primitiveTactics.cmi \
-    introductionTactics.cmi 
-introductionTactics.cmx: proofEngineTypes.cmx primitiveTactics.cmx \
-    introductionTactics.cmi 
-eliminationTactics.cmo: tacticals.cmi reductionTactics.cmi \
+    paramodulation/equality.cmx paramodulation/saturation.cmi
+automationCache.cmo : universe.cmi paramodulation/saturation.cmi \
+    paramodulation/equality.cmi automationCache.cmi
+automationCache.cmx : universe.cmx paramodulation/saturation.cmx \
+    paramodulation/equality.cmx automationCache.cmi
+variousTactics.cmo : proofEngineTypes.cmi primitiveTactics.cmi \
+    variousTactics.cmi
+variousTactics.cmx : proofEngineTypes.cmx primitiveTactics.cmx \
+    variousTactics.cmi
+compose.cmo : proofEngineTypes.cmi primitiveTactics.cmi \
+    closeCoercionGraph.cmi compose.cmi
+compose.cmx : proofEngineTypes.cmx primitiveTactics.cmx \
+    closeCoercionGraph.cmx compose.cmi
+introductionTactics.cmo : proofEngineTypes.cmi primitiveTactics.cmi \
+    introductionTactics.cmi
+introductionTactics.cmx : proofEngineTypes.cmx primitiveTactics.cmx \
+    introductionTactics.cmi
+eliminationTactics.cmo : tacticals.cmi reductionTactics.cmi \
+    proofEngineTypes.cmi proofEngineStructuralRules.cmi \
+    proofEngineHelpers.cmi primitiveTactics.cmi eliminationTactics.cmi
+eliminationTactics.cmx : tacticals.cmx reductionTactics.cmx \
+    proofEngineTypes.cmx proofEngineStructuralRules.cmx \
+    proofEngineHelpers.cmx primitiveTactics.cmx eliminationTactics.cmi
+negationTactics.cmo : variousTactics.cmi tacticals.cmi proofEngineTypes.cmi \
+    primitiveTactics.cmi eliminationTactics.cmi negationTactics.cmi
+negationTactics.cmx : variousTactics.cmx tacticals.cmx proofEngineTypes.cmx \
+    primitiveTactics.cmx eliminationTactics.cmx negationTactics.cmi
+equalityTactics.cmo : tacticals.cmi reductionTactics.cmi \
     proofEngineTypes.cmi proofEngineStructuralRules.cmi \
-    proofEngineHelpers.cmi primitiveTactics.cmi eliminationTactics.cmi 
-eliminationTactics.cmx: tacticals.cmx reductionTactics.cmx \
+    proofEngineReduction.cmi proofEngineHelpers.cmi primitiveTactics.cmi \
+    introductionTactics.cmi equalityTactics.cmi
+equalityTactics.cmx : tacticals.cmx reductionTactics.cmx \
     proofEngineTypes.cmx proofEngineStructuralRules.cmx \
-    proofEngineHelpers.cmx primitiveTactics.cmx eliminationTactics.cmi 
-negationTactics.cmo: variousTactics.cmi tacticals.cmi proofEngineTypes.cmi \
-    primitiveTactics.cmi eliminationTactics.cmi negationTactics.cmi 
-negationTactics.cmx: variousTactics.cmx tacticals.cmx proofEngineTypes.cmx \
-    primitiveTactics.cmx eliminationTactics.cmx negationTactics.cmi 
-equalityTactics.cmo: tacticals.cmi reductionTactics.cmi proofEngineTypes.cmi \
-    proofEngineStructuralRules.cmi proofEngineReduction.cmi \
-    proofEngineHelpers.cmi primitiveTactics.cmi introductionTactics.cmi \
-    equalityTactics.cmi 
-equalityTactics.cmx: tacticals.cmx reductionTactics.cmx proofEngineTypes.cmx \
-    proofEngineStructuralRules.cmx proofEngineReduction.cmx \
-    proofEngineHelpers.cmx primitiveTactics.cmx introductionTactics.cmx \
-    equalityTactics.cmi 
-auto.cmo: paramodulation/utils.cmi universe.cmi paramodulation/subst.cmi \
+    proofEngineReduction.cmx proofEngineHelpers.cmx primitiveTactics.cmx \
+    introductionTactics.cmx equalityTactics.cmi
+auto.cmo : paramodulation/utils.cmi universe.cmi paramodulation/subst.cmi \
     paramodulation/saturation.cmi proofEngineTypes.cmi \
     proofEngineReduction.cmi proofEngineHelpers.cmi primitiveTactics.cmi \
     metadataQuery.cmi paramodulation/indexing.cmi equalityTactics.cmi \
     paramodulation/equality.cmi automationCache.cmi autoTypes.cmi \
-    autoCache.cmi auto.cmi 
-auto.cmx: paramodulation/utils.cmx universe.cmx paramodulation/subst.cmx \
+    autoCache.cmi auto.cmi
+auto.cmx : paramodulation/utils.cmx universe.cmx paramodulation/subst.cmx \
     paramodulation/saturation.cmx proofEngineTypes.cmx \
     proofEngineReduction.cmx proofEngineHelpers.cmx primitiveTactics.cmx \
     metadataQuery.cmx paramodulation/indexing.cmx equalityTactics.cmx \
     paramodulation/equality.cmx automationCache.cmx autoTypes.cmx \
-    autoCache.cmx auto.cmi 
-destructTactic.cmo: tacticals.cmi reductionTactics.cmi proofEngineTypes.cmi \
+    autoCache.cmx auto.cmi
+destructTactic.cmo : tacticals.cmi reductionTactics.cmi proofEngineTypes.cmi \
     proofEngineStructuralRules.cmi proofEngineHelpers.cmi \
     primitiveTactics.cmi introductionTactics.cmi equalityTactics.cmi \
-    eliminationTactics.cmi destructTactic.cmi 
-destructTactic.cmx: tacticals.cmx reductionTactics.cmx proofEngineTypes.cmx \
+    eliminationTactics.cmi destructTactic.cmi
+destructTactic.cmx : tacticals.cmx reductionTactics.cmx proofEngineTypes.cmx \
     proofEngineStructuralRules.cmx proofEngineHelpers.cmx \
     primitiveTactics.cmx introductionTactics.cmx equalityTactics.cmx \
-    eliminationTactics.cmx destructTactic.cmi 
-inversion.cmo: tacticals.cmi reductionTactics.cmi proofEngineTypes.cmi \
+    eliminationTactics.cmx destructTactic.cmi
+inversion.cmo : tacticals.cmi reductionTactics.cmi proofEngineTypes.cmi \
     proofEngineReduction.cmi proofEngineHelpers.cmi primitiveTactics.cmi \
-    equalityTactics.cmi inversion.cmi 
-inversion.cmx: tacticals.cmx reductionTactics.cmx proofEngineTypes.cmx \
+    equalityTactics.cmi inversion.cmi
+inversion.cmx : tacticals.cmx reductionTactics.cmx proofEngineTypes.cmx \
     proofEngineReduction.cmx proofEngineHelpers.cmx primitiveTactics.cmx \
-    equalityTactics.cmx inversion.cmi 
-inversion_principle.cmo: tacticals.cmi proofEngineTypes.cmi \
-    primitiveTactics.cmi inversion.cmi inversion_principle.cmi 
-inversion_principle.cmx: tacticals.cmx proofEngineTypes.cmx \
-    primitiveTactics.cmx inversion.cmx inversion_principle.cmi 
-ring.cmo: tacticals.cmi proofEngineTypes.cmi proofEngineStructuralRules.cmi \
-    primitiveTactics.cmi equalityTactics.cmi eliminationTactics.cmi ring.cmi 
-ring.cmx: tacticals.cmx proofEngineTypes.cmx proofEngineStructuralRules.cmx \
-    primitiveTactics.cmx equalityTactics.cmx eliminationTactics.cmx ring.cmi 
-setoids.cmo: tacticals.cmi reductionTactics.cmi proofEngineTypes.cmi \
-    primitiveTactics.cmi equalityTactics.cmi setoids.cmi 
-setoids.cmx: tacticals.cmx reductionTactics.cmx proofEngineTypes.cmx \
-    primitiveTactics.cmx equalityTactics.cmx setoids.cmi 
-fourier.cmo: fourier.cmi 
-fourier.cmx: fourier.cmi 
-fourierR.cmo: tacticals.cmi ring.cmi reductionTactics.cmi \
+    equalityTactics.cmx inversion.cmi
+inversion_principle.cmo : tacticals.cmi proofEngineTypes.cmi \
+    primitiveTactics.cmi inversion.cmi inversion_principle.cmi
+inversion_principle.cmx : tacticals.cmx proofEngineTypes.cmx \
+    primitiveTactics.cmx inversion.cmx inversion_principle.cmi
+ring.cmo : tacticals.cmi proofEngineTypes.cmi proofEngineStructuralRules.cmi \
+    primitiveTactics.cmi equalityTactics.cmi eliminationTactics.cmi ring.cmi
+ring.cmx : tacticals.cmx proofEngineTypes.cmx proofEngineStructuralRules.cmx \
+    primitiveTactics.cmx equalityTactics.cmx eliminationTactics.cmx ring.cmi
+setoids.cmo : tacticals.cmi reductionTactics.cmi proofEngineTypes.cmi \
+    primitiveTactics.cmi equalityTactics.cmi setoids.cmi
+setoids.cmx : tacticals.cmx reductionTactics.cmx proofEngineTypes.cmx \
+    primitiveTactics.cmx equalityTactics.cmx setoids.cmi
+fourier.cmo : fourier.cmi
+fourier.cmx : fourier.cmi
+fourierR.cmo : tacticals.cmi ring.cmi reductionTactics.cmi \
     proofEngineTypes.cmi proofEngineHelpers.cmi primitiveTactics.cmi \
-    fourier.cmi equalityTactics.cmi fourierR.cmi 
-fourierR.cmx: tacticals.cmx ring.cmx reductionTactics.cmx \
+    fourier.cmi equalityTactics.cmi fourierR.cmi
+fourierR.cmx : tacticals.cmx ring.cmx reductionTactics.cmx \
     proofEngineTypes.cmx proofEngineHelpers.cmx primitiveTactics.cmx \
-    fourier.cmx equalityTactics.cmx fourierR.cmi 
-fwdSimplTactic.cmo: tacticals.cmi proofEngineTypes.cmi \
+    fourier.cmx equalityTactics.cmx fourierR.cmi
+fwdSimplTactic.cmo : tacticals.cmi proofEngineTypes.cmi \
     proofEngineStructuralRules.cmi proofEngineHelpers.cmi \
-    primitiveTactics.cmi fwdSimplTactic.cmi 
-fwdSimplTactic.cmx: tacticals.cmx proofEngineTypes.cmx \
+    primitiveTactics.cmi fwdSimplTactic.cmi
+fwdSimplTactic.cmx : tacticals.cmx proofEngineTypes.cmx \
     proofEngineStructuralRules.cmx proofEngineHelpers.cmx \
-    primitiveTactics.cmx fwdSimplTactic.cmi 
-history.cmo: history.cmi 
-history.cmx: history.cmi 
-statefulProofEngine.cmo: proofEngineTypes.cmi history.cmi \
-    statefulProofEngine.cmi 
-statefulProofEngine.cmx: proofEngineTypes.cmx history.cmx \
-    statefulProofEngine.cmi 
-tactics.cmo: variousTactics.cmi tacticals.cmi setoids.cmi ring.cmi \
+    primitiveTactics.cmx fwdSimplTactic.cmi
+history.cmo : history.cmi
+history.cmx : history.cmi
+statefulProofEngine.cmo : proofEngineTypes.cmi history.cmi \
+    statefulProofEngine.cmi
+statefulProofEngine.cmx : proofEngineTypes.cmx history.cmx \
+    statefulProofEngine.cmi
+tactics.cmo : variousTactics.cmi tacticals.cmi setoids.cmi ring.cmi \
     reductionTactics.cmi proofEngineStructuralRules.cmi primitiveTactics.cmi \
     negationTactics.cmi inversion.cmi introductionTactics.cmi \
     fwdSimplTactic.cmi fourierR.cmi equalityTactics.cmi \
     eliminationTactics.cmi destructTactic.cmi compose.cmi \
-    closeCoercionGraph.cmi auto.cmi tactics.cmi 
-tactics.cmx: variousTactics.cmx tacticals.cmx setoids.cmx ring.cmx \
+    closeCoercionGraph.cmi auto.cmi tactics.cmi
+tactics.cmx : variousTactics.cmx tacticals.cmx setoids.cmx ring.cmx \
     reductionTactics.cmx proofEngineStructuralRules.cmx primitiveTactics.cmx \
     negationTactics.cmx inversion.cmx introductionTactics.cmx \
     fwdSimplTactic.cmx fourierR.cmx equalityTactics.cmx \
     eliminationTactics.cmx destructTactic.cmx compose.cmx \
-    closeCoercionGraph.cmx auto.cmx tactics.cmi 
-declarative.cmo: tactics.cmi tacticals.cmi proofEngineTypes.cmi auto.cmi \
-    declarative.cmi 
-declarative.cmx: tactics.cmx tacticals.cmx proofEngineTypes.cmx auto.cmx \
-    declarative.cmi 
+    closeCoercionGraph.cmx auto.cmx tactics.cmi
+declarative.cmo : tactics.cmi tacticals.cmi proofEngineTypes.cmi auto.cmi \
+    declarative.cmi
+declarative.cmx : tactics.cmx tacticals.cmx proofEngineTypes.cmx auto.cmx \
+    declarative.cmi

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

diff --git a/helm/software/components/tptp_grafite/.depend b/helm/software/components/tptp_grafite/.depend
index bf1f2d73ef62e5308472840163b1b8f1e3df2e3f..4adf0037e1cac333d135d923c13f80865f94b7b1 100644 (file)
--- a/helm/software/components/tptp_grafite/.depend
+++ b/helm/software/components/tptp_grafite/.depend
@@ -1,17 +1,17 @@
-parser.cmi: ast.cmo 
-parserTHF.cmi: astTHF.cmo 
-tptp2grafite.cmi: 
-ast.cmo: 
-ast.cmx: 
-lexer.cmo: parser.cmi 
-lexer.cmx: parser.cmx 
-astTHF.cmo: 
-astTHF.cmx: 
-lexerTHF.cmo: parserTHF.cmi 
-lexerTHF.cmx: parserTHF.cmx 
-parser.cmo: ast.cmo parser.cmi 
-parser.cmx: ast.cmx parser.cmi 
-parserTHF.cmo: astTHF.cmo parserTHF.cmi 
-parserTHF.cmx: astTHF.cmx parserTHF.cmi 
-tptp2grafite.cmo: parser.cmi lexer.cmo ast.cmo tptp2grafite.cmi 
-tptp2grafite.cmx: parser.cmx lexer.cmx ast.cmx tptp2grafite.cmi 
+parser.cmi : ast.cmo
+parserTHF.cmi : astTHF.cmo
+tptp2grafite.cmi :
+ast.cmo :
+ast.cmx :
+lexer.cmo : parser.cmi
+lexer.cmx : parser.cmx
+astTHF.cmo :
+astTHF.cmx :
+lexerTHF.cmo : parserTHF.cmi
+lexerTHF.cmx : parserTHF.cmx
+parser.cmo : ast.cmo parser.cmi
+parser.cmx : ast.cmx parser.cmi
+parserTHF.cmo : astTHF.cmo parserTHF.cmi
+parserTHF.cmx : astTHF.cmx parserTHF.cmi
+tptp2grafite.cmo : parser.cmi lexer.cmo ast.cmo tptp2grafite.cmi
+tptp2grafite.cmx : parser.cmx lexer.cmx ast.cmx tptp2grafite.cmi

diff --git a/helm/software/components/urimanager/.depend b/helm/software/components/urimanager/.depend
index 9cac9aa783c7c003e70e118017c77b20d2ccb61a..64cb7721065a10f3139b016e2fc4f3b24cd27b8b 100644 (file)
--- a/helm/software/components/urimanager/.depend
+++ b/helm/software/components/urimanager/.depend
@@ -1,3 +1,3 @@
-uriManager.cmi: 
-uriManager.cmo: uriManager.cmi 
-uriManager.cmx: uriManager.cmi 
+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..58ccdcf9b2324075ee0c677b3b638829b9ac0db2 100644 (file)
--- a/helm/software/components/whelp/.depend
+++ b/helm/software/components/whelp/.depend
@@ -1,6 +1,6 @@
-whelp.cmi: 
-fwdQueries.cmi: 
-whelp.cmo: whelp.cmi 
-whelp.cmx: whelp.cmi 
-fwdQueries.cmo: fwdQueries.cmi 
-fwdQueries.cmx: fwdQueries.cmi 
+whelp.cmi :
+fwdQueries.cmi :
+whelp.cmo : whelp.cmi
+whelp.cmx : whelp.cmi
+fwdQueries.cmo : fwdQueries.cmi
+fwdQueries.cmx : fwdQueries.cmi

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

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

diff --git a/helm/software/matita/.depend b/helm/software/matita/.depend
index 9ebd03a649250c894d51cbef4be6bbdb6114162e..9f2e461aacddacb2f6403c1c5df1f99607c48a11 100644 (file)
--- a/helm/software/matita/.depend
+++ b/helm/software/matita/.depend
@@ -1,75 +1,88 @@
-applyTransformation.cmo: applyTransformation.cmi 
-applyTransformation.cmx: applyTransformation.cmi 
-dump_moo.cmo: buildTimeConf.cmo 
-dump_moo.cmx: buildTimeConf.cmx 
-lablGraphviz.cmo: lablGraphviz.cmi 
-lablGraphviz.cmx: lablGraphviz.cmi 
-matitaAutoGui.cmo: matitaGtkMisc.cmi matitaGeneratedGui.cmo buildTimeConf.cmo \
-    applyTransformation.cmi matitaAutoGui.cmi 
-matitaAutoGui.cmx: matitaGtkMisc.cmx matitaGeneratedGui.cmx buildTimeConf.cmx \
-    applyTransformation.cmx matitaAutoGui.cmi 
-matitaclean.cmo: matitaMisc.cmi matitaInit.cmi matitaclean.cmi 
-matitaclean.cmx: matitaMisc.cmx matitaInit.cmx matitaclean.cmi 
-matitacLib.cmo: matitaMisc.cmi matitaExcPp.cmi matitaEngine.cmi \
-    buildTimeConf.cmo applyTransformation.cmi matitacLib.cmi 
-matitacLib.cmx: matitaMisc.cmx matitaExcPp.cmx matitaEngine.cmx \
-    buildTimeConf.cmx applyTransformation.cmx matitacLib.cmi 
-matitac.cmo: matitadep.cmi matitaclean.cmi matitacLib.cmi matitaWiki.cmo \
-    matitaMisc.cmi matitaInit.cmi 
-matitac.cmx: matitadep.cmx matitaclean.cmx matitacLib.cmx matitaWiki.cmx \
-    matitaMisc.cmx matitaInit.cmx 
-matitadep.cmo: matitaMisc.cmi matitaInit.cmi matitadep.cmi 
-matitadep.cmx: matitaMisc.cmx matitaInit.cmx matitadep.cmi 
-matitaEngine.cmo: applyTransformation.cmi matitaEngine.cmi 
-matitaEngine.cmx: applyTransformation.cmx matitaEngine.cmi 
-matitaExcPp.cmo: matitaEngine.cmi matitaExcPp.cmi 
-matitaExcPp.cmx: matitaEngine.cmx matitaExcPp.cmi 
-matitaGtkMisc.cmo: matitaTypes.cmi matitaGeneratedGui.cmo buildTimeConf.cmo \
-    matitaGtkMisc.cmi 
-matitaGtkMisc.cmx: matitaTypes.cmx matitaGeneratedGui.cmx buildTimeConf.cmx \
-    matitaGtkMisc.cmi 
-matitaGui.cmo: virtuals.cmi matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \
-    matitaMathView.cmi matitaGtkMisc.cmi matitaGeneratedGui.cmo \
-    matitaExcPp.cmi matitaAutoGui.cmi buildTimeConf.cmo matitaGui.cmi 
-matitaGui.cmx: virtuals.cmx matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
-    matitaMathView.cmx matitaGtkMisc.cmx matitaGeneratedGui.cmx \
-    matitaExcPp.cmx matitaAutoGui.cmx buildTimeConf.cmx matitaGui.cmi 
-matitaInit.cmo: matitaExcPp.cmi buildTimeConf.cmo matitaInit.cmi 
-matitaInit.cmx: matitaExcPp.cmx buildTimeConf.cmx matitaInit.cmi 
-matitaMathView.cmo: virtuals.cmi matitaTypes.cmi matitaScript.cmi \
+applyTransformation.cmo : applyTransformation.cmi
+applyTransformation.cmx : applyTransformation.cmi
+buildTimeConf.cmo :
+buildTimeConf.cmx :
+dump_moo.cmo : buildTimeConf.cmo
+dump_moo.cmx : buildTimeConf.cmx
+lablGraphviz.cmo : lablGraphviz.cmi
+lablGraphviz.cmx : lablGraphviz.cmi
+matitaAutoGui.cmo : matitaGtkMisc.cmi buildTimeConf.cmo \
+    applyTransformation.cmi matitaAutoGui.cmi
+matitaAutoGui.cmx : matitaGtkMisc.cmx buildTimeConf.cmx \
+    applyTransformation.cmx matitaAutoGui.cmi
+matitaclean.cmo : matitaMisc.cmi matitaInit.cmi matitaclean.cmi
+matitaclean.cmx : matitaMisc.cmx matitaInit.cmx matitaclean.cmi
+matitacLib.cmo : matitaMisc.cmi matitaExcPp.cmi matitaEngine.cmi \
+    buildTimeConf.cmo applyTransformation.cmi matitacLib.cmi
+matitacLib.cmx : matitaMisc.cmx matitaExcPp.cmx matitaEngine.cmx \
+    buildTimeConf.cmx applyTransformation.cmx matitacLib.cmi
+matitac.cmo : matitadep.cmi matitaclean.cmi matitacLib.cmi matitaWiki.cmo \
+    matitaMisc.cmi matitaInit.cmi
+matitac.cmx : matitadep.cmx matitaclean.cmx matitacLib.cmx matitaWiki.cmx \
+    matitaMisc.cmx matitaInit.cmx
+matitadep.cmo : matitaMisc.cmi matitaInit.cmi matitadep.cmi
+matitadep.cmx : matitaMisc.cmx matitaInit.cmx matitadep.cmi
+matitaEngine.cmo : applyTransformation.cmi matitaEngine.cmi
+matitaEngine.cmx : applyTransformation.cmx matitaEngine.cmi
+matitaExcPp.cmo : matitaEngine.cmi matitaExcPp.cmi
+matitaExcPp.cmx : matitaEngine.cmx matitaExcPp.cmi
+matitaGtkMisc.cmo : matitaTypes.cmi buildTimeConf.cmo matitaGtkMisc.cmi
+matitaGtkMisc.cmx : matitaTypes.cmx buildTimeConf.cmx matitaGtkMisc.cmi
+matitaGui.cmo : virtuals.cmi matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \
+    matitaMathView.cmi matitaGtkMisc.cmi matitaExcPp.cmi matitaAutoGui.cmi \
+    buildTimeConf.cmo matitaGui.cmi
+matitaGui.cmx : virtuals.cmx matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
+    matitaMathView.cmx matitaGtkMisc.cmx matitaExcPp.cmx matitaAutoGui.cmx \
+    buildTimeConf.cmx matitaGui.cmi
+matitaInit.cmo : matitaExcPp.cmi buildTimeConf.cmo matitaInit.cmi
+matitaInit.cmx : matitaExcPp.cmx buildTimeConf.cmx matitaInit.cmi
+matitaMathView.cmo : virtuals.cmi matitaTypes.cmi matitaScript.cmi \
     matitaMisc.cmi matitaGuiTypes.cmi matitaGtkMisc.cmi matitaExcPp.cmi \
     lablGraphviz.cmi buildTimeConf.cmo applyTransformation.cmi \
-    matitaMathView.cmi 
-matitaMathView.cmx: virtuals.cmx matitaTypes.cmx matitaScript.cmx \
+    matitaMathView.cmi
+matitaMathView.cmx : virtuals.cmx matitaTypes.cmx matitaScript.cmx \
     matitaMisc.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.cmx \
     lablGraphviz.cmx buildTimeConf.cmx applyTransformation.cmx \
-    matitaMathView.cmi 
-matitaMisc.cmo: buildTimeConf.cmo matitaMisc.cmi 
-matitaMisc.cmx: buildTimeConf.cmx matitaMisc.cmi 
-matita.cmo: predefined_virtuals.cmi matitaTypes.cmi matitaScript.cmi \
+    matitaMathView.cmi
+matitaMisc.cmo : buildTimeConf.cmo matitaMisc.cmi
+matitaMisc.cmx : buildTimeConf.cmx matitaMisc.cmi
+matita.cmo : predefined_virtuals.cmi matitaTypes.cmi matitaScript.cmi \
     matitaMathView.cmi matitaInit.cmi matitaGui.cmi matitaGtkMisc.cmi \
-    buildTimeConf.cmo applyTransformation.cmi 
-matita.cmx: predefined_virtuals.cmx matitaTypes.cmx matitaScript.cmx \
+    buildTimeConf.cmo applyTransformation.cmi
+matita.cmx : predefined_virtuals.cmx matitaTypes.cmx matitaScript.cmx \
     matitaMathView.cmx matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx \
-    buildTimeConf.cmx applyTransformation.cmx 
-matitaScript.cmo: virtuals.cmi matitacLib.cmi matitaTypes.cmi \
+    buildTimeConf.cmx applyTransformation.cmx
+matitaScript.cmo : virtuals.cmi matitacLib.cmi matitaTypes.cmi \
     matitaGtkMisc.cmi matitaEngine.cmi buildTimeConf.cmo \
-    applyTransformation.cmi matitaScript.cmi 
-matitaScript.cmx: virtuals.cmx matitacLib.cmx matitaTypes.cmx \
+    applyTransformation.cmi matitaScript.cmi
+matitaScript.cmx : virtuals.cmx matitacLib.cmx matitaTypes.cmx \
     matitaGtkMisc.cmx matitaEngine.cmx buildTimeConf.cmx \
-    applyTransformation.cmx matitaScript.cmi 
-matitaTypes.cmo: matitaTypes.cmi 
-matitaTypes.cmx: matitaTypes.cmi 
-matitaWiki.cmo: matitaInit.cmi matitaExcPp.cmi matitaEngine.cmi \
-    buildTimeConf.cmo applyTransformation.cmi 
-matitaWiki.cmx: matitaInit.cmx matitaExcPp.cmx matitaEngine.cmx \
-    buildTimeConf.cmx applyTransformation.cmx 
-predefined_virtuals.cmo: virtuals.cmi predefined_virtuals.cmi 
-predefined_virtuals.cmx: virtuals.cmx predefined_virtuals.cmi 
-virtuals.cmo: virtuals.cmi 
-virtuals.cmx: virtuals.cmi 
-matitaGtkMisc.cmi: matitaGeneratedGui.cmo 
-matitaGui.cmi: matitaGuiTypes.cmi 
-matitaGuiTypes.cmi: matitaTypes.cmi matitaGeneratedGui.cmo 
-matitaMathView.cmi: matitaTypes.cmi matitaGuiTypes.cmi 
-matitaScript.cmi: matitaTypes.cmi 
+    applyTransformation.cmx matitaScript.cmi
+matitaTypes.cmo : matitaTypes.cmi
+matitaTypes.cmx : matitaTypes.cmi
+matitaWiki.cmo : matitaInit.cmi matitaExcPp.cmi matitaEngine.cmi \
+    buildTimeConf.cmo applyTransformation.cmi
+matitaWiki.cmx : matitaInit.cmx matitaExcPp.cmx matitaEngine.cmx \
+    buildTimeConf.cmx applyTransformation.cmx
+predefined_virtuals.cmo : virtuals.cmi predefined_virtuals.cmi
+predefined_virtuals.cmx : virtuals.cmx predefined_virtuals.cmi
+virtuals.cmo : virtuals.cmi
+virtuals.cmx : virtuals.cmi
+applyTransformation.cmi :
+lablGraphviz.cmi :
+matitaAutoGui.cmi :
+matitaclean.cmi :
+matitacLib.cmi :
+matitadep.cmi :
+matitaEngine.cmi :
+matitaExcPp.cmi :
+matitaGtkMisc.cmi :
+matitaGui.cmi : matitaGuiTypes.cmi
+matitaGuiTypes.cmi : matitaTypes.cmi
+matitaInit.cmi :
+matitaMathView.cmi : matitaTypes.cmi matitaGuiTypes.cmi
+matitaMisc.cmi :
+matitaScript.cmi : matitaTypes.cmi
+matitaTypes.cmi :
+predefined_virtuals.cmi :
+virtuals.cmi :