From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 28 Dec 2018 14:33:07 +0000 (+0100)
Subject: make depend.opt
X-Git-Tag: make_still_working~229^2~1^2~8
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=990530d17001326448884ea9bdd0d756af9280d9;p=helm.git
make depend.opt
---
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 b/matita/components/ng_extraction/.depend
index f4d034d1b..144c13d55 100644
--- a/matita/components/ng_extraction/.depend
+++ b/matita/components/ng_extraction/.depend
@@ -1,8 +1,6 @@
-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
+common.cmo : ocamlExtractionTable.cmi mlutil.cmi coq.cmi common.cmi
+common.cmx : ocamlExtractionTable.cmx mlutil.cmx coq.cmx common.cmi
+common.cmi : ocamlExtractionTable.cmi coq.cmi
coq.cmo : coq.cmi
coq.cmx : coq.cmi
coq.cmi :
@@ -10,7 +8,7 @@ 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
+extraction.cmi : ocamlExtractionTable.cmi miniml.cmo
miniml.cmo : coq.cmi
miniml.cmx : coq.cmx
mlutil.cmo : ocamlExtractionTable.cmi miniml.cmo coq.cmi mlutil.cmi
diff --git a/matita/components/ng_extraction/.depend.opt b/matita/components/ng_extraction/.depend.opt
index 968d8ffe9..3b0b9b57c 100644
--- a/matita/components/ng_extraction/.depend.opt
+++ b/matita/components/ng_extraction/.depend.opt
@@ -1,34 +1,20 @@
-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
+common.cmx : ocamlExtractionTable.cmx mlutil.cmx coq.cmx common.cmi
+common.cmi : ocamlExtractionTable.cmi 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
+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
+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 13791fbad..ca1b782f6 100644
--- a/matita/components/ng_kernel/.depend
+++ b/matita/components/ng_kernel/.depend
@@ -13,10 +13,8 @@ nCicReduction.cmo : nReference.cmi nCicUtils.cmi nCicSubstitution.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.cmo : nCicUtils.cmi nCic.cmo nCicSubstitution.cmi
+nCicSubstitution.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 \
diff --git a/matita/components/ng_kernel/.depend.opt b/matita/components/ng_kernel/.depend.opt
index 5b0507784..97f4e283a 100644
--- a/matita/components/ng_kernel/.depend.opt
+++ b/matita/components/ng_kernel/.depend.opt
@@ -1,41 +1,24 @@
-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 : 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 : 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_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.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 b/matita/matita/.depend
index e6ef08473..c8ed208c3 100644
--- a/matita/matita/.depend
+++ b/matita/matita/.depend
@@ -12,11 +12,9 @@ lablGraphviz.cmo : lablGraphviz.cmi
lablGraphviz.cmx : lablGraphviz.cmi
lablGraphviz.cmi :
matita.cmo : predefined_virtuals.cmi matitaScript.cmi matitaMisc.cmi \
- matitaInit.cmi matitaGui.cmi matitaGtkMisc.cmi buildTimeConf.cmo \
- applyTransformation.cmi
+ matitaInit.cmi matitaGui.cmi buildTimeConf.cmo applyTransformation.cmi
matita.cmx : predefined_virtuals.cmx matitaScript.cmx matitaMisc.cmx \
- matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx buildTimeConf.cmx \
- applyTransformation.cmx
+ matitaInit.cmx matitaGui.cmx buildTimeConf.cmx applyTransformation.cmx
matitaEngine.cmo : applyTransformation.cmi matitaEngine.cmi
matitaEngine.cmx : applyTransformation.cmx matitaEngine.cmi
matitaEngine.cmi : applyTransformation.cmi
@@ -25,9 +23,9 @@ matitaExcPp.cmx : matitaEngine.cmx matitaExcPp.cmi
matitaExcPp.cmi :
matitaGeneratedGui.cmo :
matitaGeneratedGui.cmx :
-matitaGtkMisc.cmo : matitaTypes.cmi matitaGeneratedGui.cmo buildTimeConf.cmo \
+matitaGtkMisc.cmo : matitaGeneratedGui.cmo buildTimeConf.cmo \
matitaGtkMisc.cmi
-matitaGtkMisc.cmx : matitaTypes.cmx matitaGeneratedGui.cmx buildTimeConf.cmx \
+matitaGtkMisc.cmx : matitaGeneratedGui.cmx buildTimeConf.cmx \
matitaGtkMisc.cmi
matitaGtkMisc.cmi : matitaGeneratedGui.cmo
matitaGui.cmo : matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \
diff --git a/matita/matita/.depend.opt b/matita/matita/.depend.opt
index 1487a6514..447ce30aa 100644
--- a/matita/matita/.depend.opt
+++ b/matita/matita/.depend.opt
@@ -7,8 +7,7 @@ cicMathView.cmi : matitaGuiTypes.cmi applyTransformation.cmi
lablGraphviz.cmx : lablGraphviz.cmi
lablGraphviz.cmi :
matita.cmx : predefined_virtuals.cmx matitaScript.cmx matitaMisc.cmx \
- matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx buildTimeConf.cmx \
- applyTransformation.cmx
+ matitaInit.cmx matitaGui.cmx buildTimeConf.cmx applyTransformation.cmx
matitaEngine.cmx : applyTransformation.cmx matitaEngine.cmi
matitaEngine.cmi : applyTransformation.cmi
matitaExcPp.cmx : matitaEngine.cmx matitaExcPp.cmi