]> matita.cs.unibo.it Git - helm.git/commitdiff
make depend.opt
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 28 Dec 2018 14:33:07 +0000 (15:33 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 28 Dec 2018 14:33:07 +0000 (15:33 +0100)
25 files changed:
matita/components/content/.depend.opt
matita/components/content_pres/.depend.opt
matita/components/disambiguation/.depend.opt
matita/components/extlib/.depend.opt
matita/components/getter/.depend.opt
matita/components/grafite/.depend.opt
matita/components/grafite_engine/.depend.opt
matita/components/grafite_parser/.depend.opt
matita/components/library/.depend.opt
matita/components/logger/.depend.opt
matita/components/ng_cic_content/.depend.opt
matita/components/ng_disambiguation/.depend.opt
matita/components/ng_extraction/.depend
matita/components/ng_extraction/.depend.opt
matita/components/ng_kernel/.depend
matita/components/ng_kernel/.depend.opt
matita/components/ng_library/.depend.opt
matita/components/ng_refiner/.depend.opt
matita/components/ng_tactics/.depend.opt
matita/components/registry/.depend.opt
matita/components/syntax_extensions/.depend.opt
matita/components/thread/.depend.opt
matita/components/xml/.depend.opt
matita/matita/.depend
matita/matita/.depend.opt

index 7bb00ba9b9ba6f280bb4ebbbe066b02343b3a08b..9c0b365c6a3ee363406a84761e14ee85ce710069 100644 (file)
@@ -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
index 4deb6e591a8c9b1118318f7a7264800d533fbece..211b4fc51200e2b3cf63db3bf38852b77c370dda 100644 (file)
@@ -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
index 735bea7f72c4ccf1beef11818a346a3d4c3d6e6a..1f1711ae7f14eaf50a6f86c6fc91f58a0c7ce4a1 100644 (file)
@@ -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
index e7b0a3bc74142a75bb82718931527b2b33db82e2..12de49274a4db6fba23ff7191d8503ed1e943560 100644 (file)
@@ -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 :
index 7c2b605861ee7340a4908ed5d3085ccbc0a7d401..1d016d277ad431861b42fafb78ffdd2011480674 100644 (file)
@@ -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 :
index 4a1ca42e9e7b83203739006eb1df032ce7c8629d..5dabb8012003194da1d473cc5a561e1d99bf65d2 100644 (file)
@@ -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
index e6d4942c67b319e5e52866b737ef24ee4091860e..696b4588179e989a2ae83a739c57852e3d51d8f6 100644 (file)
@@ -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
index 752b0d88d5ca9ccf9f59da28b6578d37e2a58763..e0e6dac9c2dcb31f52f80b9b237789c528f048cf 100644 (file)
@@ -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
index 6f2769b943d3b17c0eaa88d03ff693cda70b64e2..27ecf93835014baa578b3cd07a7cb09b8cb5a687 100644 (file)
@@ -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 :
index d1b4c37162663daab85eee7845f39b2422456992..ed934897fdbd39b817c5b6303e596f74dff221d2 100644 (file)
@@ -1,3 +1,2 @@
-helmLogger.cmi :
-helmLogger.cmo : helmLogger.cmi
 helmLogger.cmx : helmLogger.cmi
+helmLogger.cmi :
index 01e2f5b1ef6d52b1677f749f6a30ec2eb6ed65db..df8d6d6357841ca9eecfae3246d3df739c1c1f16 100644 (file)
@@ -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 :
index 79fd839b24f42bc72c2f7a9221dfa9fc047acb37..d5eef6bc06265d73f5d3443041b60c587a92931f 100644 (file)
@@ -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 :
index f4d034d1bf85c2f8c0b63345b8937d163c212416..144c13d554aa4b0663426bd1a0d320aaad1735a9 100644 (file)
@@ -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
index 968d8ffe9355dad2b602be5a4861ee71b475fabb..3b0b9b57c0b4764f81aa8fd6ac7cd4ae3161a6fc 100644 (file)
@@ -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
index 13791fbad834173a4e927266ba84dcb079f143d6..ca1b782f614bc514bb34486ad943816ff77e7901 100644 (file)
@@ -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 \
index 5b05077847c163d3e2d4080466d09e98b971641a..97f4e283a4931b06831fb2f0a127550417b2f0b2 100644 (file)
@@ -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 :
index a571a865c12712184f2df7cb39b8afb4191c4cf5..07d53f5dd0b86ddb9d895e15e2c8914d08d5ceac 100644 (file)
@@ -1,3 +1,2 @@
-nCicLibrary.cmi :
-nCicLibrary.cmo : nCicLibrary.cmi
 nCicLibrary.cmx : nCicLibrary.cmi
+nCicLibrary.cmi :
index d8295760aff118a07e4066718ff8146fb64f0228..dab8738901678689b5c7753b5a95b2e45cf09bc4 100644 (file)
@@ -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 :
index e8ca8210ee825eaece6fe84e2aea51b7174d36ad..c8999df5a2a69629233c9ad4d8ff3f228bd7f33f 100644 (file)
@@ -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
index 67113e67f7af0c0d4e8e6ae696d91d217f620df6..f282104465c4bc6d90927ebb77b2a2fe5e48e67f 100644 (file)
@@ -1,3 +1,2 @@
-helm_registry.cmi :
-helm_registry.cmo : helm_registry.cmi
 helm_registry.cmx : helm_registry.cmi
+helm_registry.cmi :
index 24f371ca742c7b4096f789b860086f44071a5f11..98ac1d844e00cb9bd07f41a86482f326bdaf4fb4 100644 (file)
@@ -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
index d68336af1a35a681ba34e0177059c71c6f4380c3..8ee8dbbec0891bf4392eaef92a3ed399c547a59a 100644 (file)
@@ -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 :
index fd3f626b9b5ccd97b800d84a81bba82e49aa134c..36a5438084a6137a7f9158f4fc45a2e82c40d60d 100644 (file)
@@ -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 :
index e6ef084730932f0530148998f1fdc74b9013eb4f..c8ed208c3c22aa86e9c99c52ecdf429638daf6ce 100644 (file)
@@ -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 \
index 1487a6514c43334c94516c127c03ba868799525f..447ce30aaed82deb2ede210c8bc1211e4a6fdce7 100644 (file)
@@ -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