From: Ferruccio Guidi Date: Thu, 22 Jan 2015 12:17:43 +0000 (+0000) Subject: dependences update X-Git-Tag: make_still_working~760 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=433d9c9612c1557e03a549e004c796c1137d4b4a;p=helm.git dependences update --- diff --git a/helm/software/components/acic_content/.depend b/helm/software/components/acic_content/.depend index 89dca0e44..c57b70cb8 100644 --- 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 97238c4d8..a21219a43 100644 --- 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 0c39328ae..fa821eb0d 100644 --- 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 33147b949..7be3a3369 100644 --- 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 87d1ed25c..23196a224 100644 --- 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 a835b247f..ab5364030 100644 --- 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 5449d50aa..468b5efb8 100644 --- 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 a9ae65a5e..e201b729a 100644 --- 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 91be8d88d..388605ae2 100644 --- 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 f8a16629e..ce7cec99b 100644 --- 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 2e054f73d..57eff2f68 100644 --- 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 8d74439eb..2b91cd4d8 100644 --- 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 9fdbeeeaf..735bea7f7 100644 --- 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 dcc6377a0..7bc924760 100644 --- 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 ca64d8ec0..59c0b896e 100644 --- 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 f305b1580..e65ec50d3 100644 --- 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 10236823a..a0e6494bf 100644 --- 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 2766b04d0..346778c04 100644 --- 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 072d9697a..97bb059a8 100644 --- 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 ce439d961..179a7a5ef 100644 --- 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 16c114516..0bc1b38cf 100644 --- 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 cfa1295ed..6b743d2da 100644 --- 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 dfb4400ff..d1b4c3716 100644 --- 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 78cd97a0d..bbeb6de72 100644 --- 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 1316c8eab..cf3f9ef2a 100644 --- 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 f2694c199..eb813b12d 100644 --- 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 9a4ae3fc1..7033ac079 100644 --- 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 e379b9fc6..01d28ead0 100644 --- 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 369ed6b69..ac6563e6c 100644 --- 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 da0ab80fc..f2a878f87 100644 --- 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 c54a536d9..2aa2da2fe 100644 --- 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 40c03891a..67113e67f 100644 --- 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 119f13093..4b9bcffd4 100644 --- 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 d9d6034a1..8ff73e873 100644 --- 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 6616a03d0..d68336af1 100644 --- 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 bf1f2d73e..4adf0037e 100644 --- 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 9cac9aa78..64cb77210 100644 --- 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 65dc07955..58ccdcf9b 100644 --- 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 e7e7ffbd7..fd3f626b9 100644 --- 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 65bd7b949..85e68d9b4 100644 --- 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 9ebd03a64..9f2e461aa 100644 --- 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 :