]> matita.cs.unibo.it Git - helm.git/commitdiff
.depend{.opt} files changed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2017 18:13:54 +0000 (19:13 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2017 18:13:54 +0000 (19:13 +0100)
25 files changed:
helm/software/components/binaries/transcript/.depend
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.opt
matita/components/ng_kernel/.depend.opt
matita/components/ng_library/.depend.opt
matita/components/ng_paramodulation/.depend.opt
matita/components/ng_refiner/.depend.opt
matita/components/ng_tactics/.depend.opt
matita/components/registry/.depend.opt
matita/components/syntax_extensions/.depend
matita/components/syntax_extensions/.depend.opt
matita/components/thread/.depend.opt
matita/components/xml/.depend.opt
matita/matita/.depend.opt

index 23196a224cf2a90ddc7fa5b117dc85a72c562828..c635279a7bc467aa750babc5c0883baa4eae188c 100644 (file)
@@ -1,24 +1,24 @@
-gallina8Parser.cmi : types.cmo
-grafiteParser.cmi : types.cmo
-grafite.cmi : types.cmo
+engine.cmo : types.cmo options.cmo grafiteParser.cmi grafiteLexer.cmo \
+    grafite.cmi gallina8Parser.cmi gallina8Lexer.cmo engine.cmi
+engine.cmx : types.cmx options.cmx grafiteParser.cmx grafiteLexer.cmx \
+    grafite.cmx gallina8Parser.cmx gallina8Lexer.cmx engine.cmi
 engine.cmi :
-types.cmo :
-types.cmx :
-options.cmo :
-options.cmx :
-gallina8Parser.cmo : types.cmo options.cmo gallina8Parser.cmi
-gallina8Parser.cmx : types.cmx options.cmx gallina8Parser.cmi
 gallina8Lexer.cmo : options.cmo gallina8Parser.cmi
 gallina8Lexer.cmx : options.cmx gallina8Parser.cmx
-grafiteParser.cmo : types.cmo options.cmo grafiteParser.cmi
-grafiteParser.cmx : types.cmx options.cmx grafiteParser.cmi
-grafiteLexer.cmo : options.cmo grafiteParser.cmi
-grafiteLexer.cmx : options.cmx grafiteParser.cmx
+gallina8Parser.cmo : types.cmo options.cmo gallina8Parser.cmi
+gallina8Parser.cmx : types.cmx options.cmx gallina8Parser.cmi
+gallina8Parser.cmi : types.cmo
 grafite.cmo : types.cmo options.cmo grafite.cmi
 grafite.cmx : types.cmx options.cmx grafite.cmi
-engine.cmo : types.cmo options.cmo grafiteParser.cmi grafiteLexer.cmo \
-    grafite.cmi gallina8Parser.cmi gallina8Lexer.cmo engine.cmi
-engine.cmx : types.cmx options.cmx grafiteParser.cmx grafiteLexer.cmx \
-    grafite.cmx gallina8Parser.cmx gallina8Lexer.cmx engine.cmi
+grafite.cmi : types.cmo
+grafiteLexer.cmo : options.cmo grafiteParser.cmi
+grafiteLexer.cmx : options.cmx grafiteParser.cmx
+grafiteParser.cmo : types.cmo options.cmo grafiteParser.cmi
+grafiteParser.cmx : types.cmx options.cmx grafiteParser.cmi
+grafiteParser.cmi : types.cmo
+options.cmo :
+options.cmx :
 top.cmo : options.cmo engine.cmi
 top.cmx : options.cmx engine.cmx
+types.cmo :
+types.cmx :
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 968d8ffe9355dad2b602be5a4861ee71b475fabb..03f5f9a002277b547522f2e78ba6bf18a21afeea 100644 (file)
@@ -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
index 5b05077847c163d3e2d4080466d09e98b971641a..fe2e99a30a19e52306717451f3e19f28c3269e36 100644 (file)
@@ -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 :
index a571a865c12712184f2df7cb39b8afb4191c4cf5..07d53f5dd0b86ddb9d895e15e2c8914d08d5ceac 100644 (file)
@@ -1,3 +1,2 @@
-nCicLibrary.cmi :
-nCicLibrary.cmo : nCicLibrary.cmi
 nCicLibrary.cmx : nCicLibrary.cmi
+nCicLibrary.cmi :
index 5f4f1cc562e40087cacaebc42ee367dc784ebae6..6e58a4ca97e3980902a3a626518ab1b8284b8b2c 100644 (file)
@@ -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 :
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 4b9bcffd411bfa4af1b6e971d5e50079d8bc0af0..8b3261bc8dffab9f1027b21f36125b37d79a49e2 100644 (file)
@@ -1,5 +1,5 @@
+utf8Macro.cmo : utf8MacroTable.cmo utf8Macro.cmi
+utf8Macro.cmx : utf8MacroTable.cmx utf8Macro.cmi
 utf8Macro.cmi :
 utf8MacroTable.cmo :
 utf8MacroTable.cmx :
-utf8Macro.cmo : utf8MacroTable.cmo utf8Macro.cmi
-utf8Macro.cmx : utf8MacroTable.cmx utf8Macro.cmi
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 2df44877378e1f8703b80b2bfdb4b4ad3b354e43..7485d1fad80c2602f2bd0739d994460d7910feae 100644 (file)
@@ -1,78 +1,45 @@
-applyTransformation.cmo : applyTransformation.cmi
 applyTransformation.cmx : applyTransformation.cmi
-buildTimeConf.cmo :
+applyTransformation.cmi :
 buildTimeConf.cmx :
-cicMathView.cmo : matitaMisc.cmi matitaGuiTypes.cmi matitaGtkMisc.cmi \
-    buildTimeConf.cmx applyTransformation.cmi cicMathView.cmi
 cicMathView.cmx : matitaMisc.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx \
     buildTimeConf.cmx applyTransformation.cmx cicMathView.cmi
-lablGraphviz.cmo : lablGraphviz.cmi
+cicMathView.cmi : matitaGuiTypes.cmi applyTransformation.cmi
 lablGraphviz.cmx : lablGraphviz.cmi
-matitaclean.cmo : matitaMisc.cmi matitaInit.cmi matitaclean.cmi
-matitaclean.cmx : matitaMisc.cmx matitaInit.cmx matitaclean.cmi
-matitac.cmo : matitaclean.cmi matitaMisc.cmi matitaInit.cmi matitaExcPp.cmi \
-    matitaEngine.cmi
-matitac.cmx : matitaclean.cmx matitaMisc.cmx matitaInit.cmx matitaExcPp.cmx \
-    matitaEngine.cmx
-matitaEngine.cmo : applyTransformation.cmi matitaEngine.cmi
-matitaEngine.cmx : applyTransformation.cmx matitaEngine.cmi
-matitaExcPp.cmo : matitaEngine.cmi matitaExcPp.cmi
-matitaExcPp.cmx : matitaEngine.cmx matitaExcPp.cmi
-matitaGeneratedGui.cmo :
-matitaGeneratedGui.cmx :
-matitaGtkMisc.cmo : matitaTypes.cmi matitaGeneratedGui.cmx buildTimeConf.cmx \
-    matitaGtkMisc.cmi
-matitaGtkMisc.cmx : matitaTypes.cmx matitaGeneratedGui.cmx buildTimeConf.cmx \
-    matitaGtkMisc.cmi
-matitaGui.cmo : matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \
-    matitaMathView.cmi matitaGuiTypes.cmi matitaGtkMisc.cmi \
-    matitaGeneratedGui.cmx matitaExcPp.cmi buildTimeConf.cmx matitaGui.cmi
-matitaGui.cmx : matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
-    matitaMathView.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx \
-    matitaGeneratedGui.cmx matitaExcPp.cmx buildTimeConf.cmx matitaGui.cmi
-matitaInit.cmo : matitaExcPp.cmi buildTimeConf.cmx matitaInit.cmi
-matitaInit.cmx : matitaExcPp.cmx buildTimeConf.cmx matitaInit.cmi
-matitaMathView.cmo : virtuals.cmi matitaTypes.cmi matitaMisc.cmi \
-    matitaGuiTypes.cmi matitaGtkMisc.cmi matitaGeneratedGui.cmx \
-    matitaExcPp.cmi lablGraphviz.cmi cicMathView.cmi buildTimeConf.cmx \
-    applyTransformation.cmi matitaMathView.cmi
-matitaMathView.cmx : virtuals.cmx matitaTypes.cmx matitaMisc.cmx \
-    matitaGuiTypes.cmi matitaGtkMisc.cmx matitaGeneratedGui.cmx \
-    matitaExcPp.cmx lablGraphviz.cmx cicMathView.cmx buildTimeConf.cmx \
-    applyTransformation.cmx matitaMathView.cmi
-matitaMisc.cmo : matitaGuiTypes.cmi buildTimeConf.cmx matitaMisc.cmi
-matitaMisc.cmx : matitaGuiTypes.cmi buildTimeConf.cmx matitaMisc.cmi
-matita.cmo : predefined_virtuals.cmi matitaScript.cmi matitaMisc.cmi \
-    matitaInit.cmi matitaGui.cmi matitaGtkMisc.cmi buildTimeConf.cmx \
-    applyTransformation.cmi
+lablGraphviz.cmi :
 matita.cmx : predefined_virtuals.cmx matitaScript.cmx matitaMisc.cmx \
     matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx buildTimeConf.cmx \
     applyTransformation.cmx
-matitaScript.cmo : virtuals.cmi matitaTypes.cmi matitaMisc.cmi \
-    matitaMathView.cmi matitaGtkMisc.cmi matitaEngine.cmi cicMathView.cmi \
-    buildTimeConf.cmx matitaScript.cmi
-matitaScript.cmx : virtuals.cmx matitaTypes.cmx matitaMisc.cmx \
-    matitaMathView.cmx matitaGtkMisc.cmx matitaEngine.cmx cicMathView.cmx \
-    buildTimeConf.cmx matitaScript.cmi
-matitaTypes.cmo : matitaTypes.cmi
-matitaTypes.cmx : matitaTypes.cmi
-predefined_virtuals.cmo : virtuals.cmi predefined_virtuals.cmi
-predefined_virtuals.cmx : virtuals.cmx predefined_virtuals.cmi
-virtuals.cmo : virtuals.cmi
-virtuals.cmx : virtuals.cmi
-applyTransformation.cmi :
-cicMathView.cmi : matitaGuiTypes.cmi applyTransformation.cmi
-lablGraphviz.cmi :
-matitaclean.cmi :
+matitaEngine.cmx : applyTransformation.cmx matitaEngine.cmi
 matitaEngine.cmi : applyTransformation.cmi
+matitaExcPp.cmx : matitaEngine.cmx matitaExcPp.cmi
 matitaExcPp.cmi :
-matitaGtkMisc.cmi : matitaGeneratedGui.cmx
+matitaGtkMisc.cmx : matitaTypes.cmx buildTimeConf.cmx matitaGtkMisc.cmi
+matitaGtkMisc.cmi :
+matitaGui.cmx : matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
+    matitaMathView.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.cmx \
+    buildTimeConf.cmx matitaGui.cmi
 matitaGui.cmi : matitaGuiTypes.cmi
-matitaGuiTypes.cmi : matitaGeneratedGui.cmx applyTransformation.cmi
+matitaGuiTypes.cmi : applyTransformation.cmi
+matitaInit.cmx : matitaExcPp.cmx buildTimeConf.cmx matitaInit.cmi
 matitaInit.cmi :
+matitaMathView.cmx : virtuals.cmx matitaTypes.cmx matitaMisc.cmx \
+    matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.cmx lablGraphviz.cmx \
+    cicMathView.cmx buildTimeConf.cmx applyTransformation.cmx \
+    matitaMathView.cmi
 matitaMathView.cmi : matitaTypes.cmi matitaGuiTypes.cmi
+matitaMisc.cmx : matitaGuiTypes.cmi buildTimeConf.cmx matitaMisc.cmi
 matitaMisc.cmi : matitaGuiTypes.cmi
+matitaScript.cmx : virtuals.cmx matitaTypes.cmx matitaMisc.cmx \
+    matitaMathView.cmx matitaGtkMisc.cmx matitaEngine.cmx cicMathView.cmx \
+    buildTimeConf.cmx matitaScript.cmi
 matitaScript.cmi :
+matitaTypes.cmx : matitaTypes.cmi
 matitaTypes.cmi :
+matitac.cmx : matitaclean.cmx matitaMisc.cmx matitaInit.cmx matitaExcPp.cmx \
+    matitaEngine.cmx
+matitaclean.cmx : matitaMisc.cmx matitaInit.cmx matitaclean.cmi
+matitaclean.cmi :
+predefined_virtuals.cmx : virtuals.cmx predefined_virtuals.cmi
 predefined_virtuals.cmi :
+virtuals.cmx : virtuals.cmi
 virtuals.cmi :