From: Claudio Sacerdoti Coen Date: Thu, 28 Dec 2017 18:13:54 +0000 (+0100) Subject: .depend{.opt} files changed X-Git-Tag: make_still_working~383 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1d3dc48a9755b08ecb93d88b67b8445fbb314ad6;p=helm.git .depend{.opt} files changed --- diff --git a/helm/software/components/binaries/transcript/.depend b/helm/software/components/binaries/transcript/.depend index 23196a224..c635279a7 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.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 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 +gallina8Parser.cmo : types.cmo options.cmo gallina8Parser.cmi +gallina8Parser.cmx : types.cmx options.cmx gallina8Parser.cmi +gallina8Parser.cmi : types.cmo 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 +grafite.cmi : types.cmo +grafiteLexer.cmo : options.cmo grafiteParser.cmi +grafiteLexer.cmx : options.cmx grafiteParser.cmx +grafiteParser.cmo : types.cmo options.cmo grafiteParser.cmi +grafiteParser.cmx : types.cmx options.cmx grafiteParser.cmi +grafiteParser.cmi : types.cmo +options.cmo : +options.cmx : top.cmo : options.cmo engine.cmi top.cmx : options.cmx engine.cmx +types.cmo : +types.cmx : diff --git a/matita/components/content/.depend.opt b/matita/components/content/.depend.opt index 7bb00ba9b..9c0b365c6 100644 --- a/matita/components/content/.depend.opt +++ b/matita/components/content/.depend.opt @@ -1,14 +1,9 @@ +content.cmx : content.cmi content.cmi : -notationUtil.cmi : notationPt.cmx +notationEnv.cmx : notationUtil.cmx notationPt.cmx notationEnv.cmi notationEnv.cmi : notationPt.cmx +notationPp.cmx : notationPt.cmx notationEnv.cmx notationPp.cmi notationPp.cmi : notationPt.cmx notationEnv.cmi -notationPt.cmo : notationPt.cmx : -content.cmo : content.cmi -content.cmx : content.cmi -notationUtil.cmo : notationPt.cmx notationUtil.cmi notationUtil.cmx : notationPt.cmx notationUtil.cmi -notationEnv.cmo : notationUtil.cmi notationPt.cmx notationEnv.cmi -notationEnv.cmx : notationUtil.cmx notationPt.cmx notationEnv.cmi -notationPp.cmo : notationPt.cmx notationEnv.cmi notationPp.cmi -notationPp.cmx : notationPt.cmx notationEnv.cmx notationPp.cmi +notationUtil.cmi : notationPt.cmx diff --git a/matita/components/content_pres/.depend.opt b/matita/components/content_pres/.depend.opt index 4deb6e591..211b4fc51 100644 --- a/matita/components/content_pres/.depend.opt +++ b/matita/components/content_pres/.depend.opt @@ -1,38 +1,24 @@ -renderingAttrs.cmi : -cicNotationLexer.cmi : -cicNotationParser.cmi : -mpresentation.cmi : +box.cmx : renderingAttrs.cmx box.cmi box.cmi : -content2presMatcher.cmi : -termContentPres.cmi : cicNotationParser.cmi +boxPp.cmx : renderingAttrs.cmx mpresentation.cmx cicNotationPres.cmx box.cmx \ + boxPp.cmi boxPp.cmi : mpresentation.cmi cicNotationPres.cmi box.cmi -cicNotationPres.cmi : mpresentation.cmi box.cmi -content2pres.cmi : termContentPres.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 +cicNotationLexer.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 +cicNotationParser.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 +cicNotationPres.cmi : mpresentation.cmi box.cmi content2pres.cmx : termContentPres.cmx renderingAttrs.cmx mpresentation.cmx \ cicNotationPres.cmx box.cmx content2pres.cmi +content2pres.cmi : termContentPres.cmi cicNotationPres.cmi +content2presMatcher.cmx : content2presMatcher.cmi +content2presMatcher.cmi : +mpresentation.cmx : mpresentation.cmi +mpresentation.cmi : +renderingAttrs.cmx : renderingAttrs.cmi +renderingAttrs.cmi : +termContentPres.cmx : renderingAttrs.cmx content2presMatcher.cmx \ + cicNotationParser.cmx termContentPres.cmi +termContentPres.cmi : cicNotationParser.cmi diff --git a/matita/components/disambiguation/.depend.opt b/matita/components/disambiguation/.depend.opt index 735bea7f7..1f1711ae7 100644 --- a/matita/components/disambiguation/.depend.opt +++ b/matita/components/disambiguation/.depend.opt @@ -1,11 +1,7 @@ -disambiguateTypes.cmi : +disambiguate.cmx : disambiguateTypes.cmx disambiguate.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 +disambiguateTypes.cmi : multiPassDisambiguator.cmx : disambiguateTypes.cmx disambiguate.cmx \ multiPassDisambiguator.cmi +multiPassDisambiguator.cmi : disambiguateTypes.cmi disambiguate.cmi diff --git a/matita/components/extlib/.depend.opt b/matita/components/extlib/.depend.opt index e7b0a3bc7..12de49274 100644 --- a/matita/components/extlib/.depend.opt +++ b/matita/components/extlib/.depend.opt @@ -1,27 +1,18 @@ +componentsConf.cmx : componentsConf.cmi componentsConf.cmi : -hExtlib.cmi : -hMarshal.cmi : -patternMatcher.cmi : -hLog.cmi : -trie.cmi : +discrimination_tree.cmx : trie.cmx hExtlib.cmx discrimination_tree.cmi discrimination_tree.cmi : -hTopoSort.cmi : +graphvizPp.cmx : graphvizPp.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 +hExtlib.cmi : +hLog.cmx : hLog.cmi +hLog.cmi : hMarshal.cmx : hExtlib.cmx hMarshal.cmi -patternMatcher.cmo : patternMatcher.cmi +hMarshal.cmi : +hTopoSort.cmx : hTopoSort.cmi +hTopoSort.cmi : patternMatcher.cmx : patternMatcher.cmi -hLog.cmo : hLog.cmi -hLog.cmx : hLog.cmi -trie.cmo : trie.cmi +patternMatcher.cmi : trie.cmx : trie.cmi -discrimination_tree.cmo : trie.cmi hExtlib.cmi discrimination_tree.cmi -discrimination_tree.cmx : trie.cmx hExtlib.cmx discrimination_tree.cmi -hTopoSort.cmo : hTopoSort.cmi -hTopoSort.cmx : hTopoSort.cmi -graphvizPp.cmo : graphvizPp.cmi -graphvizPp.cmx : graphvizPp.cmi +trie.cmi : diff --git a/matita/components/getter/.depend.opt b/matita/components/getter/.depend.opt index 7c2b60586..1d016d277 100644 --- a/matita/components/getter/.depend.opt +++ b/matita/components/getter/.depend.opt @@ -1,38 +1,23 @@ -http_getter_wget.cmi : -http_getter_logger.cmi : -http_getter_misc.cmi : -http_getter_const.cmi : -http_getter_env.cmi : http_getter_types.cmx -http_getter_storage.cmi : -http_getter_common.cmi : http_getter_types.cmx +http_getter.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 : http_getter_types.cmx -http_getter_types.cmo : -http_getter_types.cmx : -http_getter_wget.cmo : http_getter_types.cmx http_getter_wget.cmi -http_getter_wget.cmx : http_getter_types.cmx http_getter_wget.cmi -http_getter_logger.cmo : http_getter_logger.cmi -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_common.cmx : http_getter_types.cmx http_getter_misc.cmx \ + http_getter_logger.cmx http_getter_env.cmx http_getter_common.cmi +http_getter_common.cmi : http_getter_types.cmx http_getter_const.cmx : http_getter_const.cmi -http_getter_env.cmo : http_getter_types.cmx http_getter_misc.cmi \ - http_getter_logger.cmi http_getter_const.cmi http_getter_env.cmi +http_getter_const.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.cmx \ - http_getter_misc.cmi http_getter_env.cmi http_getter_storage.cmi +http_getter_env.cmi : http_getter_types.cmx +http_getter_logger.cmx : http_getter_logger.cmi +http_getter_logger.cmi : +http_getter_misc.cmx : http_getter_logger.cmx http_getter_misc.cmi +http_getter_misc.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.cmx http_getter_misc.cmi \ - http_getter_logger.cmi http_getter_env.cmi http_getter_common.cmi -http_getter_common.cmx : http_getter_types.cmx http_getter_misc.cmx \ - http_getter_logger.cmx http_getter_env.cmx http_getter_common.cmi -http_getter.cmo : http_getter_wget.cmi http_getter_types.cmx \ - http_getter_storage.cmi http_getter_misc.cmi http_getter_logger.cmi \ - http_getter_env.cmi http_getter_const.cmi http_getter_common.cmi \ - http_getter.cmi -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_storage.cmi : +http_getter_types.cmx : +http_getter_wget.cmx : http_getter_types.cmx http_getter_wget.cmi +http_getter_wget.cmi : diff --git a/matita/components/grafite/.depend.opt b/matita/components/grafite/.depend.opt index 4a1ca42e9..5dabb8012 100644 --- a/matita/components/grafite/.depend.opt +++ b/matita/components/grafite/.depend.opt @@ -1,5 +1,3 @@ -grafiteAstPp.cmi : grafiteAst.cmx -grafiteAst.cmo : grafiteAst.cmx : -grafiteAstPp.cmo : grafiteAst.cmx grafiteAstPp.cmi grafiteAstPp.cmx : grafiteAst.cmx grafiteAstPp.cmi +grafiteAstPp.cmi : grafiteAst.cmx diff --git a/matita/components/grafite_engine/.depend.opt b/matita/components/grafite_engine/.depend.opt index e6d4942c6..696b45881 100644 --- a/matita/components/grafite_engine/.depend.opt +++ b/matita/components/grafite_engine/.depend.opt @@ -1,11 +1,7 @@ -grafiteTypes.cmi : -nCicCoercDeclaration.cmi : grafiteTypes.cmi +grafiteEngine.cmx : nCicCoercDeclaration.cmx grafiteTypes.cmx \ + grafiteEngine.cmi grafiteEngine.cmi : grafiteTypes.cmi -grafiteTypes.cmo : grafiteTypes.cmi grafiteTypes.cmx : grafiteTypes.cmi -nCicCoercDeclaration.cmo : grafiteTypes.cmi nCicCoercDeclaration.cmi +grafiteTypes.cmi : nCicCoercDeclaration.cmx : grafiteTypes.cmx nCicCoercDeclaration.cmi -grafiteEngine.cmo : nCicCoercDeclaration.cmi grafiteTypes.cmi \ - grafiteEngine.cmi -grafiteEngine.cmx : nCicCoercDeclaration.cmx grafiteTypes.cmx \ - grafiteEngine.cmi +nCicCoercDeclaration.cmi : grafiteTypes.cmi diff --git a/matita/components/grafite_parser/.depend.opt b/matita/components/grafite_parser/.depend.opt index 752b0d88d..e0e6dac9c 100644 --- a/matita/components/grafite_parser/.depend.opt +++ b/matita/components/grafite_parser/.depend.opt @@ -1,6 +1,4 @@ -grafiteParser.cmi : -print_grammar.cmi : grafiteParser.cmi -grafiteParser.cmo : grafiteParser.cmi grafiteParser.cmx : grafiteParser.cmi -print_grammar.cmo : print_grammar.cmi +grafiteParser.cmi : print_grammar.cmx : print_grammar.cmi +print_grammar.cmi : grafiteParser.cmi diff --git a/matita/components/library/.depend.opt b/matita/components/library/.depend.opt index 6f2769b94..27ecf9383 100644 --- a/matita/components/library/.depend.opt +++ b/matita/components/library/.depend.opt @@ -1,9 +1,6 @@ +librarian.cmx : librarian.cmi librarian.cmi : -libraryMisc.cmi : +libraryClean.cmx : libraryClean.cmi libraryClean.cmi : -librarian.cmo : librarian.cmi -librarian.cmx : librarian.cmi -libraryMisc.cmo : libraryMisc.cmi libraryMisc.cmx : libraryMisc.cmi -libraryClean.cmo : libraryClean.cmi -libraryClean.cmx : libraryClean.cmi +libraryMisc.cmi : diff --git a/matita/components/logger/.depend.opt b/matita/components/logger/.depend.opt index d1b4c3716..ed934897f 100644 --- a/matita/components/logger/.depend.opt +++ b/matita/components/logger/.depend.opt @@ -1,3 +1,2 @@ -helmLogger.cmi : -helmLogger.cmo : helmLogger.cmi helmLogger.cmx : helmLogger.cmi +helmLogger.cmi : diff --git a/matita/components/ng_cic_content/.depend.opt b/matita/components/ng_cic_content/.depend.opt index 01e2f5b1e..df8d6d635 100644 --- a/matita/components/ng_cic_content/.depend.opt +++ b/matita/components/ng_cic_content/.depend.opt @@ -1,6 +1,4 @@ -ncic2astMatcher.cmi : +interpretations.cmx : ncic2astMatcher.cmx interpretations.cmi interpretations.cmi : -ncic2astMatcher.cmo : ncic2astMatcher.cmi ncic2astMatcher.cmx : ncic2astMatcher.cmi -interpretations.cmo : ncic2astMatcher.cmi interpretations.cmi -interpretations.cmx : ncic2astMatcher.cmx interpretations.cmi +ncic2astMatcher.cmi : diff --git a/matita/components/ng_disambiguation/.depend.opt b/matita/components/ng_disambiguation/.depend.opt index 79fd839b2..d5eef6bc0 100644 --- a/matita/components/ng_disambiguation/.depend.opt +++ b/matita/components/ng_disambiguation/.depend.opt @@ -1,14 +1,9 @@ -nnumber_notation.cmi : -disambiguateChoices.cmi : -nCicDisambiguate.cmi : -grafiteDisambiguate.cmi : -nnumber_notation.cmo : nnumber_notation.cmi -nnumber_notation.cmx : nnumber_notation.cmi -disambiguateChoices.cmo : nnumber_notation.cmi disambiguateChoices.cmi disambiguateChoices.cmx : nnumber_notation.cmx disambiguateChoices.cmi -nCicDisambiguate.cmo : nCicDisambiguate.cmi -nCicDisambiguate.cmx : nCicDisambiguate.cmi -grafiteDisambiguate.cmo : nCicDisambiguate.cmi disambiguateChoices.cmi \ - grafiteDisambiguate.cmi +disambiguateChoices.cmi : grafiteDisambiguate.cmx : nCicDisambiguate.cmx disambiguateChoices.cmx \ grafiteDisambiguate.cmi +grafiteDisambiguate.cmi : +nCicDisambiguate.cmx : nCicDisambiguate.cmi +nCicDisambiguate.cmi : +nnumber_notation.cmx : nnumber_notation.cmi +nnumber_notation.cmi : diff --git a/matita/components/ng_extraction/.depend.opt b/matita/components/ng_extraction/.depend.opt index 968d8ffe9..03f5f9a00 100644 --- a/matita/components/ng_extraction/.depend.opt +++ b/matita/components/ng_extraction/.depend.opt @@ -1,34 +1,21 @@ -nCicExtraction.cmi : -coq.cmi : -ocamlExtractionTable.cmi : miniml.cmx coq.cmi -mlutil.cmi : ocamlExtractionTable.cmi miniml.cmx coq.cmi -common.cmi : ocamlExtractionTable.cmi mlutil.cmi miniml.cmx coq.cmi -extraction.cmi : ocamlExtractionTable.cmi miniml.cmx coq.cmi -ocaml.cmi : ocamlExtractionTable.cmi miniml.cmx coq.cmi -ocamlExtraction.cmi : ocamlExtractionTable.cmi -miniml.cmo : coq.cmi -miniml.cmx : coq.cmx -nCicExtraction.cmo : nCicExtraction.cmi -nCicExtraction.cmx : nCicExtraction.cmi -coq.cmo : coq.cmi -coq.cmx : coq.cmi -ocamlExtractionTable.cmo : miniml.cmx coq.cmi ocamlExtractionTable.cmi -ocamlExtractionTable.cmx : miniml.cmx coq.cmx ocamlExtractionTable.cmi -mlutil.cmo : ocamlExtractionTable.cmi miniml.cmx coq.cmi mlutil.cmi -mlutil.cmx : ocamlExtractionTable.cmx miniml.cmx coq.cmx mlutil.cmi -common.cmo : ocamlExtractionTable.cmi mlutil.cmi miniml.cmx coq.cmi \ - common.cmi common.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \ common.cmi -extraction.cmo : ocamlExtractionTable.cmi mlutil.cmi miniml.cmx coq.cmi \ - common.cmi extraction.cmi +common.cmi : ocamlExtractionTable.cmi mlutil.cmi miniml.cmx coq.cmi +coq.cmx : coq.cmi +coq.cmi : extraction.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \ common.cmx extraction.cmi -ocaml.cmo : ocamlExtractionTable.cmi mlutil.cmi miniml.cmx coq.cmi \ - common.cmi ocaml.cmi +extraction.cmi : ocamlExtractionTable.cmi miniml.cmx coq.cmi +miniml.cmx : coq.cmx +mlutil.cmx : ocamlExtractionTable.cmx miniml.cmx coq.cmx mlutil.cmi +mlutil.cmi : ocamlExtractionTable.cmi miniml.cmx coq.cmi +nCicExtraction.cmx : nCicExtraction.cmi +nCicExtraction.cmi : ocaml.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \ common.cmx ocaml.cmi -ocamlExtraction.cmo : ocamlExtractionTable.cmi ocaml.cmi extraction.cmi \ - coq.cmi ocamlExtraction.cmi +ocaml.cmi : ocamlExtractionTable.cmi miniml.cmx coq.cmi ocamlExtraction.cmx : ocamlExtractionTable.cmx ocaml.cmx extraction.cmx \ coq.cmx ocamlExtraction.cmi +ocamlExtraction.cmi : ocamlExtractionTable.cmi +ocamlExtractionTable.cmx : miniml.cmx coq.cmx ocamlExtractionTable.cmi +ocamlExtractionTable.cmi : miniml.cmx coq.cmi diff --git a/matita/components/ng_kernel/.depend.opt b/matita/components/ng_kernel/.depend.opt index 5b0507784..fe2e99a30 100644 --- a/matita/components/ng_kernel/.depend.opt +++ b/matita/components/ng_kernel/.depend.opt @@ -1,41 +1,25 @@ -nUri.cmi : -nReference.cmi : nUri.cmi -nCicUtils.cmi : nCic.cmx -nCicSubstitution.cmi : nCic.cmx -nCicEnvironment.cmi : nUri.cmi nReference.cmi nCic.cmx -nCicReduction.cmi : nCic.cmx -nCicTypeChecker.cmi : nUri.cmi nReference.cmi nCic.cmx -nCicUntrusted.cmi : nCic.cmx -nCicPp.cmi : nReference.cmi nCic.cmx -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.cmx nCicUtils.cmi -nCicUtils.cmx : nReference.cmx nCic.cmx nCicUtils.cmi -nCicSubstitution.cmo : nReference.cmi nCicUtils.cmi nCic.cmx \ - nCicSubstitution.cmi -nCicSubstitution.cmx : nReference.cmx nCicUtils.cmx nCic.cmx \ - nCicSubstitution.cmi -nCicEnvironment.cmo : nUri.cmi nReference.cmi nCic.cmx nCicEnvironment.cmi nCicEnvironment.cmx : nUri.cmx nReference.cmx nCic.cmx nCicEnvironment.cmi -nCicReduction.cmo : nReference.cmi nCicUtils.cmi nCicSubstitution.cmi \ - nCicEnvironment.cmi nCic.cmx nCicReduction.cmi +nCicEnvironment.cmi : nUri.cmi nReference.cmi nCic.cmx +nCicPp.cmx : nUri.cmx nReference.cmx nCicSubstitution.cmx nCicReduction.cmx \ + nCicEnvironment.cmx nCic.cmx nCicPp.cmi +nCicPp.cmi : nReference.cmi nCic.cmx nCicReduction.cmx : nReference.cmx nCicUtils.cmx nCicSubstitution.cmx \ nCicEnvironment.cmx nCic.cmx nCicReduction.cmi -nCicTypeChecker.cmo : nUri.cmi nReference.cmi nCicUtils.cmi \ - nCicSubstitution.cmi nCicReduction.cmi nCicEnvironment.cmi nCic.cmx \ - nCicTypeChecker.cmi +nCicReduction.cmi : nCic.cmx +nCicSubstitution.cmx : nReference.cmx nCicUtils.cmx nCic.cmx \ + nCicSubstitution.cmi +nCicSubstitution.cmi : nCic.cmx nCicTypeChecker.cmx : nUri.cmx nReference.cmx nCicUtils.cmx \ nCicSubstitution.cmx nCicReduction.cmx nCicEnvironment.cmx nCic.cmx \ nCicTypeChecker.cmi -nCicUntrusted.cmo : nReference.cmi nCicUtils.cmi nCicSubstitution.cmi \ - nCicReduction.cmi nCicEnvironment.cmi nCic.cmx nCicUntrusted.cmi +nCicTypeChecker.cmi : nUri.cmi nReference.cmi nCic.cmx nCicUntrusted.cmx : nReference.cmx nCicUtils.cmx nCicSubstitution.cmx \ nCicReduction.cmx nCicEnvironment.cmx nCic.cmx nCicUntrusted.cmi -nCicPp.cmo : nUri.cmi nReference.cmi nCicSubstitution.cmi nCicReduction.cmi \ - nCicEnvironment.cmi nCic.cmx nCicPp.cmi -nCicPp.cmx : nUri.cmx nReference.cmx nCicSubstitution.cmx nCicReduction.cmx \ - nCicEnvironment.cmx nCic.cmx nCicPp.cmi +nCicUntrusted.cmi : nCic.cmx +nCicUtils.cmx : nReference.cmx nCic.cmx nCicUtils.cmi +nCicUtils.cmi : nCic.cmx +nReference.cmx : nUri.cmx nReference.cmi +nReference.cmi : nUri.cmi +nUri.cmx : nUri.cmi +nUri.cmi : diff --git a/matita/components/ng_library/.depend.opt b/matita/components/ng_library/.depend.opt index a571a865c..07d53f5dd 100644 --- a/matita/components/ng_library/.depend.opt +++ b/matita/components/ng_library/.depend.opt @@ -1,3 +1,2 @@ -nCicLibrary.cmi : -nCicLibrary.cmo : nCicLibrary.cmi nCicLibrary.cmx : nCicLibrary.cmi +nCicLibrary.cmi : diff --git a/matita/components/ng_paramodulation/.depend.opt b/matita/components/ng_paramodulation/.depend.opt index 5f4f1cc56..6e58a4ca9 100644 --- a/matita/components/ng_paramodulation/.depend.opt +++ b/matita/components/ng_paramodulation/.depend.opt @@ -1,45 +1,29 @@ -terms.cmi : -pp.cmi : terms.cmi +foSubst.cmx : terms.cmx foSubst.cmi foSubst.cmi : terms.cmi -orderings.cmi : terms.cmi -foUtils.cmi : terms.cmi orderings.cmi +foUnif.cmx : terms.cmx orderings.cmx foUtils.cmx foSubst.cmx foUnif.cmi foUnif.cmi : terms.cmi orderings.cmi +foUtils.cmx : terms.cmx orderings.cmx foSubst.cmx foUtils.cmi +foUtils.cmi : terms.cmi orderings.cmi +index.cmx : terms.cmx pp.cmx orderings.cmx foUtils.cmx foUnif.cmx index.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.cmx : terms.cmx foUtils.cmx nCicBlob.cmi nCicBlob.cmi : terms.cmi -nCicProof.cmi : terms.cmi +nCicParamod.cmx : terms.cmx pp.cmx paramod.cmx orderings.cmx nCicProof.cmx \ + nCicBlob.cmx nCicParamod.cmi nCicParamod.cmi : terms.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 +nCicProof.cmx : terms.cmx pp.cmx nCicBlob.cmx foSubst.cmx nCicProof.cmi +nCicProof.cmi : terms.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 +orderings.cmi : terms.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 -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 +paramod.cmi : terms.cmi orderings.cmi +pp.cmx : terms.cmx pp.cmi +pp.cmi : terms.cmi +stats.cmx : terms.cmx stats.cmi +stats.cmi : terms.cmi orderings.cmi +superposition.cmx : terms.cmx pp.cmx orderings.cmx index.cmx foUtils.cmx \ + foUnif.cmx foSubst.cmx superposition.cmi +superposition.cmi : terms.cmi orderings.cmi index.cmi +terms.cmx : terms.cmi +terms.cmi : diff --git a/matita/components/ng_refiner/.depend.opt b/matita/components/ng_refiner/.depend.opt index d8295760a..dab873890 100644 --- a/matita/components/ng_refiner/.depend.opt +++ b/matita/components/ng_refiner/.depend.opt @@ -1,27 +1,17 @@ -nDiscriminationTree.cmi : -nCicMetaSubst.cmi : -nCicUnifHint.cmi : +nCicCoercion.cmx : nDiscriminationTree.cmx nCicUnifHint.cmx \ + nCicMetaSubst.cmx nCicCoercion.cmi nCicCoercion.cmi : nCicUnifHint.cmi +nCicMetaSubst.cmx : nCicMetaSubst.cmi +nCicMetaSubst.cmi : +nCicRefineUtil.cmx : nCicMetaSubst.cmx nCicRefineUtil.cmi nCicRefineUtil.cmi : -nCicUnification.cmi : nCicCoercion.cmi +nCicRefiner.cmx : nCicUnification.cmx nCicRefineUtil.cmx nCicMetaSubst.cmx \ + nCicCoercion.cmx nCicRefiner.cmi nCicRefiner.cmi : nCicCoercion.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 -nCicRefineUtil.cmo : nCicMetaSubst.cmi nCicRefineUtil.cmi -nCicRefineUtil.cmx : nCicMetaSubst.cmx nCicRefineUtil.cmi -nCicUnification.cmo : nCicUnifHint.cmi nCicMetaSubst.cmi nCicUnification.cmi +nCicUnifHint.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 +nCicUnification.cmi : nCicCoercion.cmi +nDiscriminationTree.cmx : nDiscriminationTree.cmi +nDiscriminationTree.cmi : diff --git a/matita/components/ng_tactics/.depend.opt b/matita/components/ng_tactics/.depend.opt index e8ca8210e..c8999df5a 100644 --- a/matita/components/ng_tactics/.depend.opt +++ b/matita/components/ng_tactics/.depend.opt @@ -1,30 +1,19 @@ +continuationals.cmx : continuationals.cmi continuationals.cmi : -nCicTacReduction.cmi : -nTacStatus.cmi : continuationals.cmi +nCicElim.cmx : nCicElim.cmi nCicElim.cmi : -nTactics.cmi : nTacStatus.cmi -nnAuto.cmi : nTacStatus.cmi +nCicTacReduction.cmx : nCicTacReduction.cmi +nCicTacReduction.cmi : +nDestructTac.cmx : nTactics.cmx nTacStatus.cmx continuationals.cmx \ + nDestructTac.cmi nDestructTac.cmi : nTacStatus.cmi +nInversion.cmx : nTactics.cmx nTacStatus.cmx nCicElim.cmx \ + continuationals.cmx nInversion.cmi nInversion.cmi : nTacStatus.cmi -continuationals.cmo : continuationals.cmi -continuationals.cmx : continuationals.cmi -nCicTacReduction.cmo : nCicTacReduction.cmi -nCicTacReduction.cmx : nCicTacReduction.cmi -nTacStatus.cmo : nCicTacReduction.cmi continuationals.cmi nTacStatus.cmi nTacStatus.cmx : nCicTacReduction.cmx continuationals.cmx nTacStatus.cmi -nCicElim.cmo : nCicElim.cmi -nCicElim.cmx : nCicElim.cmi -nTactics.cmo : nTacStatus.cmi nCicElim.cmi continuationals.cmi nTactics.cmi +nTacStatus.cmi : continuationals.cmi nTactics.cmx : nTacStatus.cmx nCicElim.cmx continuationals.cmx nTactics.cmi -nnAuto.cmo : nTactics.cmi nTacStatus.cmi nCicTacReduction.cmi \ - continuationals.cmi nnAuto.cmi +nTactics.cmi : nTacStatus.cmi nnAuto.cmx : nTactics.cmx nTacStatus.cmx nCicTacReduction.cmx \ continuationals.cmx nnAuto.cmi -nDestructTac.cmo : nTactics.cmi nTacStatus.cmi continuationals.cmi \ - nDestructTac.cmi -nDestructTac.cmx : nTactics.cmx nTacStatus.cmx continuationals.cmx \ - nDestructTac.cmi -nInversion.cmo : nTactics.cmi nTacStatus.cmi nCicElim.cmi \ - continuationals.cmi nInversion.cmi -nInversion.cmx : nTactics.cmx nTacStatus.cmx nCicElim.cmx \ - continuationals.cmx nInversion.cmi +nnAuto.cmi : nTacStatus.cmi diff --git a/matita/components/registry/.depend.opt b/matita/components/registry/.depend.opt index 67113e67f..f28210446 100644 --- a/matita/components/registry/.depend.opt +++ b/matita/components/registry/.depend.opt @@ -1,3 +1,2 @@ -helm_registry.cmi : -helm_registry.cmo : helm_registry.cmi helm_registry.cmx : helm_registry.cmi +helm_registry.cmi : diff --git a/matita/components/syntax_extensions/.depend b/matita/components/syntax_extensions/.depend index 4b9bcffd4..8b3261bc8 100644 --- a/matita/components/syntax_extensions/.depend +++ b/matita/components/syntax_extensions/.depend @@ -1,5 +1,5 @@ +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/matita/components/syntax_extensions/.depend.opt b/matita/components/syntax_extensions/.depend.opt index 24f371ca7..98ac1d844 100644 --- a/matita/components/syntax_extensions/.depend.opt +++ b/matita/components/syntax_extensions/.depend.opt @@ -1,5 +1,3 @@ +utf8Macro.cmx : utf8MacroTable.cmx utf8Macro.cmi utf8Macro.cmi : -utf8MacroTable.cmo : utf8MacroTable.cmx : -utf8Macro.cmo : utf8MacroTable.cmx utf8Macro.cmi -utf8Macro.cmx : utf8MacroTable.cmx utf8Macro.cmi diff --git a/matita/components/thread/.depend.opt b/matita/components/thread/.depend.opt index d68336af1..8ee8dbbec 100644 --- a/matita/components/thread/.depend.opt +++ b/matita/components/thread/.depend.opt @@ -1,6 +1,4 @@ -threadSafe.cmi : +extThread.cmx : extThread.cmi extThread.cmi : -threadSafe.cmo : threadSafe.cmi threadSafe.cmx : threadSafe.cmi -extThread.cmo : extThread.cmi -extThread.cmx : extThread.cmi +threadSafe.cmi : diff --git a/matita/components/xml/.depend.opt b/matita/components/xml/.depend.opt index fd3f626b9..36a543808 100644 --- a/matita/components/xml/.depend.opt +++ b/matita/components/xml/.depend.opt @@ -1,6 +1,4 @@ -xml.cmi : -xmlPushParser.cmi : -xml.cmo : xml.cmi xml.cmx : xml.cmi -xmlPushParser.cmo : xmlPushParser.cmi +xml.cmi : xmlPushParser.cmx : xmlPushParser.cmi +xmlPushParser.cmi : diff --git a/matita/matita/.depend.opt b/matita/matita/.depend.opt index 2df448773..7485d1fad 100644 --- a/matita/matita/.depend.opt +++ b/matita/matita/.depend.opt @@ -1,78 +1,45 @@ -applyTransformation.cmo : applyTransformation.cmi applyTransformation.cmx : applyTransformation.cmi -buildTimeConf.cmo : +applyTransformation.cmi : buildTimeConf.cmx : -cicMathView.cmo : matitaMisc.cmi matitaGuiTypes.cmi matitaGtkMisc.cmi \ - buildTimeConf.cmx applyTransformation.cmi cicMathView.cmi cicMathView.cmx : matitaMisc.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx \ buildTimeConf.cmx applyTransformation.cmx cicMathView.cmi -lablGraphviz.cmo : lablGraphviz.cmi +cicMathView.cmi : matitaGuiTypes.cmi applyTransformation.cmi lablGraphviz.cmx : lablGraphviz.cmi -matitaclean.cmo : matitaMisc.cmi matitaInit.cmi matitaclean.cmi -matitaclean.cmx : matitaMisc.cmx matitaInit.cmx matitaclean.cmi -matitac.cmo : matitaclean.cmi matitaMisc.cmi matitaInit.cmi matitaExcPp.cmi \ - matitaEngine.cmi -matitac.cmx : matitaclean.cmx matitaMisc.cmx matitaInit.cmx matitaExcPp.cmx \ - matitaEngine.cmx -matitaEngine.cmo : applyTransformation.cmi matitaEngine.cmi -matitaEngine.cmx : applyTransformation.cmx matitaEngine.cmi -matitaExcPp.cmo : matitaEngine.cmi matitaExcPp.cmi -matitaExcPp.cmx : matitaEngine.cmx matitaExcPp.cmi -matitaGeneratedGui.cmo : -matitaGeneratedGui.cmx : -matitaGtkMisc.cmo : matitaTypes.cmi matitaGeneratedGui.cmx buildTimeConf.cmx \ - matitaGtkMisc.cmi -matitaGtkMisc.cmx : matitaTypes.cmx matitaGeneratedGui.cmx buildTimeConf.cmx \ - matitaGtkMisc.cmi -matitaGui.cmo : matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \ - matitaMathView.cmi matitaGuiTypes.cmi matitaGtkMisc.cmi \ - matitaGeneratedGui.cmx matitaExcPp.cmi buildTimeConf.cmx matitaGui.cmi -matitaGui.cmx : matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \ - matitaMathView.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx \ - matitaGeneratedGui.cmx matitaExcPp.cmx buildTimeConf.cmx matitaGui.cmi -matitaInit.cmo : matitaExcPp.cmi buildTimeConf.cmx matitaInit.cmi -matitaInit.cmx : matitaExcPp.cmx buildTimeConf.cmx matitaInit.cmi -matitaMathView.cmo : virtuals.cmi matitaTypes.cmi matitaMisc.cmi \ - matitaGuiTypes.cmi matitaGtkMisc.cmi matitaGeneratedGui.cmx \ - matitaExcPp.cmi lablGraphviz.cmi cicMathView.cmi buildTimeConf.cmx \ - applyTransformation.cmi matitaMathView.cmi -matitaMathView.cmx : virtuals.cmx matitaTypes.cmx matitaMisc.cmx \ - matitaGuiTypes.cmi matitaGtkMisc.cmx matitaGeneratedGui.cmx \ - matitaExcPp.cmx lablGraphviz.cmx cicMathView.cmx buildTimeConf.cmx \ - applyTransformation.cmx matitaMathView.cmi -matitaMisc.cmo : matitaGuiTypes.cmi buildTimeConf.cmx matitaMisc.cmi -matitaMisc.cmx : matitaGuiTypes.cmi buildTimeConf.cmx matitaMisc.cmi -matita.cmo : predefined_virtuals.cmi matitaScript.cmi matitaMisc.cmi \ - matitaInit.cmi matitaGui.cmi matitaGtkMisc.cmi buildTimeConf.cmx \ - applyTransformation.cmi +lablGraphviz.cmi : matita.cmx : predefined_virtuals.cmx matitaScript.cmx matitaMisc.cmx \ matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx buildTimeConf.cmx \ applyTransformation.cmx -matitaScript.cmo : virtuals.cmi matitaTypes.cmi matitaMisc.cmi \ - matitaMathView.cmi matitaGtkMisc.cmi matitaEngine.cmi cicMathView.cmi \ - buildTimeConf.cmx matitaScript.cmi -matitaScript.cmx : virtuals.cmx matitaTypes.cmx matitaMisc.cmx \ - matitaMathView.cmx matitaGtkMisc.cmx matitaEngine.cmx cicMathView.cmx \ - buildTimeConf.cmx matitaScript.cmi -matitaTypes.cmo : matitaTypes.cmi -matitaTypes.cmx : matitaTypes.cmi -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 : -cicMathView.cmi : matitaGuiTypes.cmi applyTransformation.cmi -lablGraphviz.cmi : -matitaclean.cmi : +matitaEngine.cmx : applyTransformation.cmx matitaEngine.cmi matitaEngine.cmi : applyTransformation.cmi +matitaExcPp.cmx : matitaEngine.cmx matitaExcPp.cmi matitaExcPp.cmi : -matitaGtkMisc.cmi : matitaGeneratedGui.cmx +matitaGtkMisc.cmx : matitaTypes.cmx buildTimeConf.cmx matitaGtkMisc.cmi +matitaGtkMisc.cmi : +matitaGui.cmx : matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \ + matitaMathView.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.cmx \ + buildTimeConf.cmx matitaGui.cmi matitaGui.cmi : matitaGuiTypes.cmi -matitaGuiTypes.cmi : matitaGeneratedGui.cmx applyTransformation.cmi +matitaGuiTypes.cmi : applyTransformation.cmi +matitaInit.cmx : matitaExcPp.cmx buildTimeConf.cmx matitaInit.cmi matitaInit.cmi : +matitaMathView.cmx : virtuals.cmx matitaTypes.cmx matitaMisc.cmx \ + matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.cmx lablGraphviz.cmx \ + cicMathView.cmx buildTimeConf.cmx applyTransformation.cmx \ + matitaMathView.cmi matitaMathView.cmi : matitaTypes.cmi matitaGuiTypes.cmi +matitaMisc.cmx : matitaGuiTypes.cmi buildTimeConf.cmx matitaMisc.cmi matitaMisc.cmi : matitaGuiTypes.cmi +matitaScript.cmx : virtuals.cmx matitaTypes.cmx matitaMisc.cmx \ + matitaMathView.cmx matitaGtkMisc.cmx matitaEngine.cmx cicMathView.cmx \ + buildTimeConf.cmx matitaScript.cmi matitaScript.cmi : +matitaTypes.cmx : matitaTypes.cmi matitaTypes.cmi : +matitac.cmx : matitaclean.cmx matitaMisc.cmx matitaInit.cmx matitaExcPp.cmx \ + matitaEngine.cmx +matitaclean.cmx : matitaMisc.cmx matitaInit.cmx matitaclean.cmi +matitaclean.cmi : +predefined_virtuals.cmx : virtuals.cmx predefined_virtuals.cmi predefined_virtuals.cmi : +virtuals.cmx : virtuals.cmi virtuals.cmi :