From df0dc72bccac82b3dd69108b5996d7008d007601 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 13 Sep 2018 14:36:56 +0200 Subject: [PATCH] dependences for ocaml version 4.05.0 --- matita/components/content/.depend | 14 ++-- matita/components/content/.depend.opt | 13 ++-- matita/components/content_pres/.depend | 48 +++++++------- matita/components/content_pres/.depend.opt | 46 +++++-------- matita/components/disambiguation/.depend | 8 +-- matita/components/disambiguation/.depend.opt | 10 +-- matita/components/extlib/.depend | 32 ++++----- matita/components/extlib/.depend.opt | 31 ++++----- matita/components/getter/.depend | 54 +++++++-------- matita/components/getter/.depend.opt | 49 +++++--------- matita/components/grafite/.depend | 2 +- matita/components/grafite/.depend.opt | 4 +- matita/components/grafite_engine/.depend | 12 ++-- matita/components/grafite_engine/.depend.opt | 12 ++-- matita/components/grafite_parser/.depend | 4 +- matita/components/grafite_parser/.depend.opt | 6 +- matita/components/library/.depend | 10 +-- matita/components/library/.depend.opt | 9 +-- matita/components/logger/.depend | 2 +- matita/components/logger/.depend.opt | 3 +- matita/components/ng_cic_content/.depend | 6 +- matita/components/ng_cic_content/.depend.opt | 6 +- matita/components/ng_disambiguation/.depend | 16 ++--- .../components/ng_disambiguation/.depend.opt | 17 ++--- matita/components/ng_extraction/.depend | 36 +++++----- matita/components/ng_extraction/.depend.opt | 39 ++++------- matita/components/ng_kernel/.depend | 46 ++++++------- matita/components/ng_kernel/.depend.opt | 48 +++++--------- matita/components/ng_library/.depend | 2 +- matita/components/ng_library/.depend.opt | 3 +- matita/components/ng_paramodulation/.depend | 66 +++++++++---------- .../components/ng_paramodulation/.depend.opt | 58 ++++++---------- matita/components/ng_refiner/.depend | 34 +++++----- matita/components/ng_refiner/.depend.opt | 32 ++++----- matita/components/ng_tactics/.depend | 36 +++++----- matita/components/ng_tactics/.depend.opt | 33 ++++------ matita/components/registry/.depend | 2 +- matita/components/registry/.depend.opt | 3 +- .../components/syntax_extensions/.depend.opt | 4 +- matita/components/thread/.depend | 6 +- matita/components/thread/.depend.opt | 6 +- matita/components/xml/.depend | 4 +- matita/components/xml/.depend.opt | 6 +- matita/matita/.depend | 54 +++++++-------- 44 files changed, 396 insertions(+), 536 deletions(-) diff --git a/matita/components/content/.depend b/matita/components/content/.depend index 369dbbdc4..e1dff0f85 100644 --- a/matita/components/content/.depend +++ b/matita/components/content/.depend @@ -1,14 +1,14 @@ +content.cmo : content.cmi +content.cmx : content.cmi content.cmi : -notationUtil.cmi : notationPt.cmo +notationEnv.cmo : notationUtil.cmi notationPt.cmo notationEnv.cmi +notationEnv.cmx : notationUtil.cmx notationPt.cmx notationEnv.cmi notationEnv.cmi : notationPt.cmo +notationPp.cmo : notationPt.cmo notationEnv.cmi notationPp.cmi +notationPp.cmx : notationPt.cmx notationEnv.cmx notationPp.cmi notationPp.cmi : notationPt.cmo notationEnv.cmi notationPt.cmo : notationPt.cmx : -content.cmo : content.cmi -content.cmx : content.cmi notationUtil.cmo : notationPt.cmo notationUtil.cmi notationUtil.cmx : notationPt.cmx notationUtil.cmi -notationEnv.cmo : notationUtil.cmi notationPt.cmo notationEnv.cmi -notationEnv.cmx : notationUtil.cmx notationPt.cmx notationEnv.cmi -notationPp.cmo : notationPt.cmo notationEnv.cmi notationPp.cmi -notationPp.cmx : notationPt.cmx notationEnv.cmx notationPp.cmi +notationUtil.cmi : notationPt.cmo 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 b/matita/components/content_pres/.depend index 4deb6e591..c4875d55f 100644 --- a/matita/components/content_pres/.depend +++ b/matita/components/content_pres/.depend @@ -1,38 +1,38 @@ -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 : 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 -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 +box.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 +boxPp.cmi : mpresentation.cmi cicNotationPres.cmi box.cmi +cicNotationLexer.cmo : cicNotationLexer.cmi +cicNotationLexer.cmx : cicNotationLexer.cmi +cicNotationLexer.cmi : +cicNotationParser.cmo : cicNotationLexer.cmi cicNotationParser.cmi +cicNotationParser.cmx : cicNotationLexer.cmx cicNotationParser.cmi +cicNotationParser.cmi : cicNotationPres.cmo : renderingAttrs.cmi mpresentation.cmi box.cmi \ cicNotationPres.cmi cicNotationPres.cmx : renderingAttrs.cmx mpresentation.cmx box.cmx \ cicNotationPres.cmi +cicNotationPres.cmi : mpresentation.cmi box.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 +content2pres.cmi : termContentPres.cmi cicNotationPres.cmi +content2presMatcher.cmo : content2presMatcher.cmi +content2presMatcher.cmx : content2presMatcher.cmi +content2presMatcher.cmi : +mpresentation.cmo : mpresentation.cmi +mpresentation.cmx : mpresentation.cmi +mpresentation.cmi : +renderingAttrs.cmo : renderingAttrs.cmi +renderingAttrs.cmx : renderingAttrs.cmi +renderingAttrs.cmi : +termContentPres.cmo : renderingAttrs.cmi content2presMatcher.cmi \ + cicNotationParser.cmi termContentPres.cmi +termContentPres.cmx : renderingAttrs.cmx content2presMatcher.cmx \ + cicNotationParser.cmx termContentPres.cmi +termContentPres.cmi : cicNotationParser.cmi 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 b/matita/components/disambiguation/.depend index 735bea7f7..a25280569 100644 --- a/matita/components/disambiguation/.depend +++ b/matita/components/disambiguation/.depend @@ -1,11 +1,11 @@ -disambiguateTypes.cmi : +disambiguate.cmo : disambiguateTypes.cmi disambiguate.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 +disambiguateTypes.cmi : multiPassDisambiguator.cmo : disambiguateTypes.cmi disambiguate.cmi \ multiPassDisambiguator.cmi multiPassDisambiguator.cmx : disambiguateTypes.cmx disambiguate.cmx \ multiPassDisambiguator.cmi +multiPassDisambiguator.cmi : disambiguateTypes.cmi disambiguate.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 b/matita/components/extlib/.depend index e7b0a3bc7..36dd894f0 100644 --- a/matita/components/extlib/.depend +++ b/matita/components/extlib/.depend @@ -1,27 +1,27 @@ +componentsConf.cmo : componentsConf.cmi +componentsConf.cmx : componentsConf.cmi componentsConf.cmi : -hExtlib.cmi : -hMarshal.cmi : -patternMatcher.cmi : -hLog.cmi : -trie.cmi : +discrimination_tree.cmo : trie.cmi hExtlib.cmi discrimination_tree.cmi +discrimination_tree.cmx : trie.cmx hExtlib.cmx discrimination_tree.cmi discrimination_tree.cmi : -hTopoSort.cmi : +graphvizPp.cmo : graphvizPp.cmi +graphvizPp.cmx : graphvizPp.cmi graphvizPp.cmi : -componentsConf.cmo : componentsConf.cmi -componentsConf.cmx : componentsConf.cmi hExtlib.cmo : hExtlib.cmi hExtlib.cmx : hExtlib.cmi +hExtlib.cmi : +hLog.cmo : hLog.cmi +hLog.cmx : hLog.cmi +hLog.cmi : hMarshal.cmo : hExtlib.cmi hMarshal.cmi hMarshal.cmx : hExtlib.cmx hMarshal.cmi +hMarshal.cmi : +hTopoSort.cmo : hTopoSort.cmi +hTopoSort.cmx : hTopoSort.cmi +hTopoSort.cmi : patternMatcher.cmo : patternMatcher.cmi patternMatcher.cmx : patternMatcher.cmi -hLog.cmo : hLog.cmi -hLog.cmx : hLog.cmi +patternMatcher.cmi : trie.cmo : trie.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/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 b/matita/components/getter/.depend index 59c0b896e..13ca8cc29 100644 --- a/matita/components/getter/.depend +++ b/matita/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.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_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.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_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_common.cmi : http_getter_types.cmo http_getter_const.cmo : http_getter_const.cmi http_getter_const.cmx : http_getter_const.cmi +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_env.cmi : http_getter_types.cmo +http_getter_logger.cmo : http_getter_logger.cmi +http_getter_logger.cmx : http_getter_logger.cmi +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_misc.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_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.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_wget.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 b/matita/components/grafite/.depend index e70c83c77..211eff733 100644 --- a/matita/components/grafite/.depend +++ b/matita/components/grafite/.depend @@ -1,5 +1,5 @@ -grafiteAstPp.cmi : grafiteAst.cmo grafiteAst.cmo : grafiteAst.cmx : grafiteAstPp.cmo : grafiteAst.cmo grafiteAstPp.cmi grafiteAstPp.cmx : grafiteAst.cmx grafiteAstPp.cmi +grafiteAstPp.cmi : grafiteAst.cmo 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 b/matita/components/grafite_engine/.depend index e6d4942c6..627227c70 100644 --- a/matita/components/grafite_engine/.depend +++ b/matita/components/grafite_engine/.depend @@ -1,11 +1,11 @@ -grafiteTypes.cmi : -nCicCoercDeclaration.cmi : grafiteTypes.cmi +grafiteEngine.cmo : nCicCoercDeclaration.cmi grafiteTypes.cmi \ + grafiteEngine.cmi +grafiteEngine.cmx : nCicCoercDeclaration.cmx grafiteTypes.cmx \ + grafiteEngine.cmi grafiteEngine.cmi : grafiteTypes.cmi grafiteTypes.cmo : grafiteTypes.cmi grafiteTypes.cmx : grafiteTypes.cmi +grafiteTypes.cmi : nCicCoercDeclaration.cmo : grafiteTypes.cmi nCicCoercDeclaration.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_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 b/matita/components/grafite_parser/.depend index 752b0d88d..fcb901973 100644 --- a/matita/components/grafite_parser/.depend +++ b/matita/components/grafite_parser/.depend @@ -1,6 +1,6 @@ -grafiteParser.cmi : -print_grammar.cmi : grafiteParser.cmi grafiteParser.cmo : grafiteParser.cmi grafiteParser.cmx : grafiteParser.cmi +grafiteParser.cmi : print_grammar.cmo : print_grammar.cmi print_grammar.cmx : print_grammar.cmi +print_grammar.cmi : grafiteParser.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 b/matita/components/library/.depend index 6f2769b94..7af1a906e 100644 --- a/matita/components/library/.depend +++ b/matita/components/library/.depend @@ -1,9 +1,9 @@ -librarian.cmi : -libraryMisc.cmi : -libraryClean.cmi : librarian.cmo : librarian.cmi librarian.cmx : librarian.cmi -libraryMisc.cmo : libraryMisc.cmi -libraryMisc.cmx : libraryMisc.cmi +librarian.cmi : libraryClean.cmo : libraryClean.cmi libraryClean.cmx : libraryClean.cmi +libraryClean.cmi : +libraryMisc.cmo : libraryMisc.cmi +libraryMisc.cmx : libraryMisc.cmi +libraryMisc.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 b/matita/components/logger/.depend index d1b4c3716..a22bd16f1 100644 --- a/matita/components/logger/.depend +++ b/matita/components/logger/.depend @@ -1,3 +1,3 @@ -helmLogger.cmi : helmLogger.cmo : helmLogger.cmi helmLogger.cmx : helmLogger.cmi +helmLogger.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 b/matita/components/ng_cic_content/.depend index 01e2f5b1e..579a21e33 100644 --- a/matita/components/ng_cic_content/.depend +++ b/matita/components/ng_cic_content/.depend @@ -1,6 +1,6 @@ -ncic2astMatcher.cmi : +interpretations.cmo : ncic2astMatcher.cmi interpretations.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_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 b/matita/components/ng_disambiguation/.depend index 79fd839b2..fa8349c58 100644 --- a/matita/components/ng_disambiguation/.depend +++ b/matita/components/ng_disambiguation/.depend @@ -1,14 +1,14 @@ -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 +disambiguateChoices.cmi : grafiteDisambiguate.cmo : nCicDisambiguate.cmi disambiguateChoices.cmi \ grafiteDisambiguate.cmi grafiteDisambiguate.cmx : nCicDisambiguate.cmx disambiguateChoices.cmx \ grafiteDisambiguate.cmi +grafiteDisambiguate.cmi : +nCicDisambiguate.cmo : nCicDisambiguate.cmi +nCicDisambiguate.cmx : nCicDisambiguate.cmi +nCicDisambiguate.cmi : +nnumber_notation.cmo : nnumber_notation.cmi +nnumber_notation.cmx : nnumber_notation.cmi +nnumber_notation.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 b/matita/components/ng_extraction/.depend index c2ad6ff86..f4d034d1b 100644 --- a/matita/components/ng_extraction/.depend +++ b/matita/components/ng_extraction/.depend @@ -1,34 +1,34 @@ -nCicExtraction.cmi : -coq.cmi : -ocamlExtractionTable.cmi : miniml.cmo coq.cmi -mlutil.cmi : ocamlExtractionTable.cmi miniml.cmo coq.cmi -common.cmi : ocamlExtractionTable.cmi mlutil.cmi miniml.cmo coq.cmi -extraction.cmi : ocamlExtractionTable.cmi miniml.cmo coq.cmi -ocaml.cmi : ocamlExtractionTable.cmi miniml.cmo 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.cmo coq.cmi ocamlExtractionTable.cmi -ocamlExtractionTable.cmx : miniml.cmx coq.cmx ocamlExtractionTable.cmi -mlutil.cmo : ocamlExtractionTable.cmi miniml.cmo coq.cmi mlutil.cmi -mlutil.cmx : ocamlExtractionTable.cmx miniml.cmx coq.cmx mlutil.cmi common.cmo : ocamlExtractionTable.cmi mlutil.cmi miniml.cmo coq.cmi \ common.cmi common.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \ common.cmi +common.cmi : ocamlExtractionTable.cmi mlutil.cmi miniml.cmo coq.cmi +coq.cmo : coq.cmi +coq.cmx : coq.cmi +coq.cmi : extraction.cmo : ocamlExtractionTable.cmi mlutil.cmi miniml.cmo coq.cmi \ common.cmi extraction.cmi extraction.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \ common.cmx extraction.cmi +extraction.cmi : ocamlExtractionTable.cmi miniml.cmo coq.cmi +miniml.cmo : coq.cmi +miniml.cmx : coq.cmx +mlutil.cmo : ocamlExtractionTable.cmi miniml.cmo coq.cmi mlutil.cmi +mlutil.cmx : ocamlExtractionTable.cmx miniml.cmx coq.cmx mlutil.cmi +mlutil.cmi : ocamlExtractionTable.cmi miniml.cmo coq.cmi +nCicExtraction.cmo : nCicExtraction.cmi +nCicExtraction.cmx : nCicExtraction.cmi +nCicExtraction.cmi : ocaml.cmo : ocamlExtractionTable.cmi mlutil.cmi miniml.cmo coq.cmi \ common.cmi ocaml.cmi ocaml.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \ common.cmx ocaml.cmi +ocaml.cmi : ocamlExtractionTable.cmi miniml.cmo coq.cmi ocamlExtraction.cmo : ocamlExtractionTable.cmi ocaml.cmi extraction.cmi \ coq.cmi ocamlExtraction.cmi ocamlExtraction.cmx : ocamlExtractionTable.cmx ocaml.cmx extraction.cmx \ coq.cmx ocamlExtraction.cmi +ocamlExtraction.cmi : ocamlExtractionTable.cmi +ocamlExtractionTable.cmo : miniml.cmo coq.cmi ocamlExtractionTable.cmi +ocamlExtractionTable.cmx : miniml.cmx coq.cmx ocamlExtractionTable.cmi +ocamlExtractionTable.cmi : miniml.cmo coq.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 b/matita/components/ng_kernel/.depend index a55f87284..16e1dcf8e 100644 --- a/matita/components/ng_kernel/.depend +++ b/matita/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 -nCicReduction.cmi : nCic.cmo -nCicTypeChecker.cmi : nUri.cmi nReference.cmi nCic.cmo -nCicUntrusted.cmi : nCic.cmo -nCicPp.cmi : nReference.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 +nCicEnvironment.cmi : nUri.cmi nReference.cmi nCic.cmo +nCicPp.cmo : nUri.cmi nReference.cmi nCicSubstitution.cmi nCicReduction.cmi \ + nCicEnvironment.cmi nCic.cmo nCicPp.cmi +nCicPp.cmx : nUri.cmx nReference.cmx nCicSubstitution.cmx nCicReduction.cmx \ + nCicEnvironment.cmx nCic.cmx nCicPp.cmi +nCicPp.cmi : nReference.cmi nCic.cmo nCicReduction.cmo : nReference.cmi nCicUtils.cmi nCicSubstitution.cmi \ nCicEnvironment.cmi nCic.cmo nCicReduction.cmi nCicReduction.cmx : nReference.cmx nCicUtils.cmx nCicSubstitution.cmx \ nCicEnvironment.cmx nCic.cmx nCicReduction.cmi +nCicReduction.cmi : nCic.cmo +nCicSubstitution.cmo : nReference.cmi nCicUtils.cmi nCic.cmo \ + nCicSubstitution.cmi +nCicSubstitution.cmx : nReference.cmx nCicUtils.cmx nCic.cmx \ + nCicSubstitution.cmi +nCicSubstitution.cmi : nCic.cmo nCicTypeChecker.cmo : nUri.cmi nReference.cmi nCicUtils.cmi \ nCicSubstitution.cmi nCicReduction.cmi nCicEnvironment.cmi nCic.cmo \ nCicTypeChecker.cmi nCicTypeChecker.cmx : nUri.cmx nReference.cmx nCicUtils.cmx \ nCicSubstitution.cmx nCicReduction.cmx nCicEnvironment.cmx nCic.cmx \ nCicTypeChecker.cmi +nCicTypeChecker.cmi : nUri.cmi nReference.cmi nCic.cmo 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 -nCicPp.cmo : nUri.cmi nReference.cmi nCicSubstitution.cmi nCicReduction.cmi \ - nCicEnvironment.cmi nCic.cmo nCicPp.cmi -nCicPp.cmx : nUri.cmx nReference.cmx nCicSubstitution.cmx nCicReduction.cmx \ - nCicEnvironment.cmx nCic.cmx nCicPp.cmi +nCicUntrusted.cmi : nCic.cmo +nCicUtils.cmo : nReference.cmi nCic.cmo nCicUtils.cmi +nCicUtils.cmx : nReference.cmx nCic.cmx nCicUtils.cmi +nCicUtils.cmi : nCic.cmo +nReference.cmo : nUri.cmi nReference.cmi +nReference.cmx : nUri.cmx nReference.cmi +nReference.cmi : nUri.cmi +nUri.cmo : nUri.cmi +nUri.cmx : nUri.cmi +nUri.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 b/matita/components/ng_library/.depend index a571a865c..d10bc6762 100644 --- a/matita/components/ng_library/.depend +++ b/matita/components/ng_library/.depend @@ -1,3 +1,3 @@ -nCicLibrary.cmi : nCicLibrary.cmo : nCicLibrary.cmi nCicLibrary.cmx : nCicLibrary.cmi +nCicLibrary.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 b/matita/components/ng_paramodulation/.depend index 5f4f1cc56..1ee59514d 100644 --- a/matita/components/ng_paramodulation/.depend +++ b/matita/components/ng_paramodulation/.depend @@ -1,45 +1,45 @@ -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 -nCicProof.cmi : terms.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 -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 +foSubst.cmi : terms.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 +foUnif.cmi : terms.cmi orderings.cmi +foUtils.cmo : terms.cmi orderings.cmi foSubst.cmi foUtils.cmi +foUtils.cmx : terms.cmx orderings.cmx foSubst.cmx foUtils.cmi +foUtils.cmi : terms.cmi orderings.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 +index.cmi : terms.cmi orderings.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 +nCicBlob.cmi : terms.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 +nCicParamod.cmi : terms.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 +nCicProof.cmi : terms.cmi +orderings.cmo : terms.cmi pp.cmi foSubst.cmi orderings.cmi +orderings.cmx : terms.cmx pp.cmx foSubst.cmx orderings.cmi +orderings.cmi : terms.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 +paramod.cmi : terms.cmi orderings.cmi +pp.cmo : terms.cmi pp.cmi +pp.cmx : terms.cmx pp.cmi +pp.cmi : terms.cmi +stats.cmo : terms.cmi stats.cmi +stats.cmx : terms.cmx stats.cmi +stats.cmi : terms.cmi orderings.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 +superposition.cmi : terms.cmi orderings.cmi index.cmi +terms.cmo : terms.cmi +terms.cmx : terms.cmi +terms.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 b/matita/components/ng_refiner/.depend index d8295760a..2bd075dfc 100644 --- a/matita/components/ng_refiner/.depend +++ b/matita/components/ng_refiner/.depend @@ -1,27 +1,27 @@ -nDiscriminationTree.cmi : -nCicMetaSubst.cmi : -nCicUnifHint.cmi : -nCicCoercion.cmi : nCicUnifHint.cmi -nCicRefineUtil.cmi : -nCicUnification.cmi : nCicCoercion.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 +nCicCoercion.cmi : nCicUnifHint.cmi +nCicMetaSubst.cmo : nCicMetaSubst.cmi +nCicMetaSubst.cmx : nCicMetaSubst.cmi +nCicMetaSubst.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 +nCicRefineUtil.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 +nCicRefiner.cmi : nCicCoercion.cmi +nCicUnifHint.cmo : nDiscriminationTree.cmi nCicMetaSubst.cmi \ + nCicUnifHint.cmi +nCicUnifHint.cmx : nDiscriminationTree.cmx nCicMetaSubst.cmx \ + nCicUnifHint.cmi +nCicUnifHint.cmi : +nCicUnification.cmo : nCicUnifHint.cmi nCicMetaSubst.cmi nCicUnification.cmi +nCicUnification.cmx : nCicUnifHint.cmx nCicMetaSubst.cmx nCicUnification.cmi +nCicUnification.cmi : nCicCoercion.cmi +nDiscriminationTree.cmo : nDiscriminationTree.cmi +nDiscriminationTree.cmx : nDiscriminationTree.cmi +nDiscriminationTree.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 b/matita/components/ng_tactics/.depend index e8ca8210e..90de5733d 100644 --- a/matita/components/ng_tactics/.depend +++ b/matita/components/ng_tactics/.depend @@ -1,30 +1,30 @@ -continuationals.cmi : -nCicTacReduction.cmi : -nTacStatus.cmi : continuationals.cmi -nCicElim.cmi : -nTactics.cmi : nTacStatus.cmi -nnAuto.cmi : nTacStatus.cmi -nDestructTac.cmi : nTacStatus.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 +continuationals.cmi : nCicElim.cmo : nCicElim.cmi nCicElim.cmx : nCicElim.cmi -nTactics.cmo : nTacStatus.cmi nCicElim.cmi continuationals.cmi nTactics.cmi -nTactics.cmx : nTacStatus.cmx nCicElim.cmx continuationals.cmx nTactics.cmi -nnAuto.cmo : nTactics.cmi nTacStatus.cmi nCicTacReduction.cmi \ - continuationals.cmi nnAuto.cmi -nnAuto.cmx : nTactics.cmx nTacStatus.cmx nCicTacReduction.cmx \ - continuationals.cmx nnAuto.cmi +nCicElim.cmi : +nCicTacReduction.cmo : nCicTacReduction.cmi +nCicTacReduction.cmx : nCicTacReduction.cmi +nCicTacReduction.cmi : nDestructTac.cmo : nTactics.cmi nTacStatus.cmi continuationals.cmi \ nDestructTac.cmi nDestructTac.cmx : nTactics.cmx nTacStatus.cmx continuationals.cmx \ nDestructTac.cmi +nDestructTac.cmi : nTacStatus.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 +nInversion.cmi : nTacStatus.cmi +nTacStatus.cmo : nCicTacReduction.cmi continuationals.cmi nTacStatus.cmi +nTacStatus.cmx : nCicTacReduction.cmx continuationals.cmx nTacStatus.cmi +nTacStatus.cmi : continuationals.cmi +nTactics.cmo : nTacStatus.cmi nCicElim.cmi continuationals.cmi nTactics.cmi +nTactics.cmx : nTacStatus.cmx nCicElim.cmx continuationals.cmx nTactics.cmi +nTactics.cmi : nTacStatus.cmi +nnAuto.cmo : nTactics.cmi nTacStatus.cmi nCicTacReduction.cmi \ + continuationals.cmi nnAuto.cmi +nnAuto.cmx : nTactics.cmx nTacStatus.cmx nCicTacReduction.cmx \ + continuationals.cmx nnAuto.cmi +nnAuto.cmi : nTacStatus.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 b/matita/components/registry/.depend index 67113e67f..2a8e36776 100644 --- a/matita/components/registry/.depend +++ b/matita/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 : 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.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 b/matita/components/thread/.depend index d68336af1..e8bc4a106 100644 --- a/matita/components/thread/.depend +++ b/matita/components/thread/.depend @@ -1,6 +1,6 @@ -threadSafe.cmi : +extThread.cmo : extThread.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/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 b/matita/components/xml/.depend index fd3f626b9..60964e765 100644 --- a/matita/components/xml/.depend +++ b/matita/components/xml/.depend @@ -1,6 +1,6 @@ -xml.cmi : -xmlPushParser.cmi : xml.cmo : xml.cmi xml.cmx : xml.cmi +xml.cmi : xmlPushParser.cmo : xmlPushParser.cmi xmlPushParser.cmx : xmlPushParser.cmi +xmlPushParser.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 b/matita/matita/.depend index 6c16e0b6e..271861428 100644 --- a/matita/matita/.depend +++ b/matita/matita/.depend @@ -1,37 +1,46 @@ applyTransformation.cmo : applyTransformation.cmi applyTransformation.cmx : applyTransformation.cmi +applyTransformation.cmi : buildTimeConf.cmo : buildTimeConf.cmx : cicMathView.cmo : matitaMisc.cmi matitaGuiTypes.cmi matitaGtkMisc.cmi \ buildTimeConf.cmo applyTransformation.cmi cicMathView.cmi cicMathView.cmx : matitaMisc.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx \ buildTimeConf.cmx applyTransformation.cmx cicMathView.cmi +cicMathView.cmi : matitaGuiTypes.cmi applyTransformation.cmi lablGraphviz.cmo : lablGraphviz.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 +lablGraphviz.cmi : +matita.cmo : predefined_virtuals.cmi matitaScript.cmi matitaMisc.cmi \ + matitaInit.cmi matitaGui.cmi matitaGtkMisc.cmi buildTimeConf.cmo \ + applyTransformation.cmi +matita.cmx : predefined_virtuals.cmx matitaScript.cmx matitaMisc.cmx \ + matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx buildTimeConf.cmx \ + applyTransformation.cmx matitaEngine.cmo : applyTransformation.cmi matitaEngine.cmi matitaEngine.cmx : applyTransformation.cmx matitaEngine.cmi +matitaEngine.cmi : applyTransformation.cmi matitaExcPp.cmo : matitaEngine.cmi matitaExcPp.cmi matitaExcPp.cmx : matitaEngine.cmx matitaExcPp.cmi +matitaExcPp.cmi : matitaGeneratedGui.cmo : matitaGeneratedGui.cmx : matitaGtkMisc.cmo : matitaTypes.cmi matitaGeneratedGui.cmo buildTimeConf.cmo \ matitaGtkMisc.cmi matitaGtkMisc.cmx : matitaTypes.cmx matitaGeneratedGui.cmx buildTimeConf.cmx \ matitaGtkMisc.cmi +matitaGtkMisc.cmi : matitaGeneratedGui.cmo matitaGui.cmo : matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \ matitaMathView.cmi matitaGuiTypes.cmi matitaGtkMisc.cmi \ matitaGeneratedGui.cmo matitaExcPp.cmi buildTimeConf.cmo matitaGui.cmi matitaGui.cmx : matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \ matitaMathView.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx \ matitaGeneratedGui.cmx matitaExcPp.cmx buildTimeConf.cmx matitaGui.cmi +matitaGui.cmi : matitaGuiTypes.cmi +matitaGuiTypes.cmi : matitaGeneratedGui.cmo applyTransformation.cmi matitaInit.cmo : matitaExcPp.cmi buildTimeConf.cmo matitaInit.cmi matitaInit.cmx : matitaExcPp.cmx buildTimeConf.cmx matitaInit.cmi +matitaInit.cmi : matitaMathView.cmo : virtuals.cmi matitaTypes.cmi matitaMisc.cmi \ matitaGuiTypes.cmi matitaGtkMisc.cmi matitaGeneratedGui.cmo \ matitaExcPp.cmi lablGraphviz.cmi cicMathView.cmi buildTimeConf.cmo \ @@ -40,39 +49,30 @@ 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 +matitaMathView.cmi : matitaTypes.cmi matitaGuiTypes.cmi matitaMisc.cmo : matitaGuiTypes.cmi buildTimeConf.cmo 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.cmo \ - applyTransformation.cmi -matita.cmx : predefined_virtuals.cmx matitaScript.cmx matitaMisc.cmx \ - matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx buildTimeConf.cmx \ - applyTransformation.cmx +matitaMisc.cmi : matitaGuiTypes.cmi matitaScript.cmo : virtuals.cmi matitaTypes.cmi matitaMisc.cmi \ matitaMathView.cmi matitaGtkMisc.cmi matitaEngine.cmi cicMathView.cmi \ buildTimeConf.cmo matitaScript.cmi matitaScript.cmx : virtuals.cmx matitaTypes.cmx matitaMisc.cmx \ matitaMathView.cmx matitaGtkMisc.cmx matitaEngine.cmx cicMathView.cmx \ buildTimeConf.cmx matitaScript.cmi +matitaScript.cmi : matitaTypes.cmo : matitaTypes.cmi matitaTypes.cmx : matitaTypes.cmi +matitaTypes.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 +matitaclean.cmo : matitaMisc.cmi matitaInit.cmi matitaclean.cmi +matitaclean.cmx : matitaMisc.cmx matitaInit.cmx matitaclean.cmi +matitaclean.cmi : predefined_virtuals.cmo : virtuals.cmi predefined_virtuals.cmi predefined_virtuals.cmx : virtuals.cmx predefined_virtuals.cmi +predefined_virtuals.cmi : virtuals.cmo : virtuals.cmi virtuals.cmx : virtuals.cmi -applyTransformation.cmi : -cicMathView.cmi : matitaGuiTypes.cmi applyTransformation.cmi -lablGraphviz.cmi : -matitaclean.cmi : -matitaEngine.cmi : applyTransformation.cmi -matitaExcPp.cmi : -matitaGtkMisc.cmi : matitaGeneratedGui.cmo -matitaGui.cmi : matitaGuiTypes.cmi -matitaGuiTypes.cmi : matitaGeneratedGui.cmo applyTransformation.cmi -matitaInit.cmi : -matitaMathView.cmi : matitaTypes.cmi matitaGuiTypes.cmi -matitaMisc.cmi : matitaGuiTypes.cmi -matitaScript.cmi : -matitaTypes.cmi : -predefined_virtuals.cmi : virtuals.cmi : -- 2.39.2