dependences for ocaml version 4.05.0

diff --git a/matita/components/content/.depend b/matita/components/content/.depend
index 369dbbdc4e978ce0baf7408ca0779e8253557ac8..e1dff0f8513fc89d8b634cae98e845ad6219eb84 100644 (file)
--- 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 7bb00ba9b9ba6f280bb4ebbbe066b02343b3a08b..9c0b365c6a3ee363406a84761e14ee85ce710069 100644 (file)
--- 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 4deb6e591a8c9b1118318f7a7264800d533fbece..c4875d55ff06c38a38d8b2db405791a74a3aa526 100644 (file)
--- 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 4deb6e591a8c9b1118318f7a7264800d533fbece..211b4fc51200e2b3cf63db3bf38852b77c370dda 100644 (file)
--- 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 735bea7f72c4ccf1beef11818a346a3d4c3d6e6a..a252805691faa256134e1a821135fa477d32d2ab 100644 (file)
--- 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 735bea7f72c4ccf1beef11818a346a3d4c3d6e6a..1f1711ae7f14eaf50a6f86c6fc91f58a0c7ce4a1 100644 (file)
--- 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 e7b0a3bc74142a75bb82718931527b2b33db82e2..36dd894f0150d65edd85d79a45637357c9285108 100644 (file)
--- 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 e7b0a3bc74142a75bb82718931527b2b33db82e2..12de49274a4db6fba23ff7191d8503ed1e943560 100644 (file)
--- 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 59c0b896e216c8aa3f904c2b1a721c13b87b4d83..13ca8cc297d8cc8f41a24c3bbb852fa7ea4f9cb7 100644 (file)
--- 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 7c2b605861ee7340a4908ed5d3085ccbc0a7d401..1d016d277ad431861b42fafb78ffdd2011480674 100644 (file)
--- 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 e70c83c775c2c4c31f9f428867d0ef7b521ef616..211eff733974720246708d93a8c581506f550444 100644 (file)
--- 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 4a1ca42e9e7b83203739006eb1df032ce7c8629d..5dabb8012003194da1d473cc5a561e1d99bf65d2 100644 (file)
--- 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 e6d4942c67b319e5e52866b737ef24ee4091860e..627227c707bd83b67a71b3224ac9130b848ada64 100644 (file)
--- 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 e6d4942c67b319e5e52866b737ef24ee4091860e..696b4588179e989a2ae83a739c57852e3d51d8f6 100644 (file)
--- 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 752b0d88d5ca9ccf9f59da28b6578d37e2a58763..fcb9019732288ff0cc873fb6abb87343ab5df7d7 100644 (file)
--- 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 752b0d88d5ca9ccf9f59da28b6578d37e2a58763..e0e6dac9c2dcb31f52f80b9b237789c528f048cf 100644 (file)
--- 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 6f2769b943d3b17c0eaa88d03ff693cda70b64e2..7af1a906e47c519bd66461b8e09c31fef64fbf2d 100644 (file)
--- 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 6f2769b943d3b17c0eaa88d03ff693cda70b64e2..27ecf93835014baa578b3cd07a7cb09b8cb5a687 100644 (file)
--- 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 d1b4c37162663daab85eee7845f39b2422456992..a22bd16f1c552ac530d00acef0d093826e166cfa 100644 (file)
--- 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 d1b4c37162663daab85eee7845f39b2422456992..ed934897fdbd39b817c5b6303e596f74dff221d2 100644 (file)
--- 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 01e2f5b1ef6d52b1677f749f6a30ec2eb6ed65db..579a21e33e02fec0b8f9b84cdd49a6f78e833cbf 100644 (file)
--- 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 01e2f5b1ef6d52b1677f749f6a30ec2eb6ed65db..df8d6d6357841ca9eecfae3246d3df739c1c1f16 100644 (file)
--- 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 79fd839b24f42bc72c2f7a9221dfa9fc047acb37..fa8349c58c417c2716907daff4cc04e701b1f62a 100644 (file)
--- 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 79fd839b24f42bc72c2f7a9221dfa9fc047acb37..d5eef6bc06265d73f5d3443041b60c587a92931f 100644 (file)
--- 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 c2ad6ff86885864fe19eaf17af8c87fcd6836c1e..f4d034d1bf85c2f8c0b63345b8937d163c212416 100644 (file)
--- 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 968d8ffe9355dad2b602be5a4861ee71b475fabb..03f5f9a002277b547522f2e78ba6bf18a21afeea 100644 (file)
--- 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 a55f8728476514e27fc165bf6c7931bc34089f59..16e1dcf8edade0d71a2481812957a86b8d18c2f8 100644 (file)
--- 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 5b05077847c163d3e2d4080466d09e98b971641a..fe2e99a30a19e52306717451f3e19f28c3269e36 100644 (file)
--- 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 a571a865c12712184f2df7cb39b8afb4191c4cf5..d10bc676253f4a27299203afde200c1f8ebe0c6b 100644 (file)
--- 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 a571a865c12712184f2df7cb39b8afb4191c4cf5..07d53f5dd0b86ddb9d895e15e2c8914d08d5ceac 100644 (file)
--- 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 5f4f1cc562e40087cacaebc42ee367dc784ebae6..1ee59514d81e2d312497bb43e29564f51d26b4ab 100644 (file)
--- 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 5f4f1cc562e40087cacaebc42ee367dc784ebae6..6e58a4ca97e3980902a3a626518ab1b8284b8b2c 100644 (file)
--- 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 d8295760aff118a07e4066718ff8146fb64f0228..2bd075dfcea28da1aab30a35088d8111e534dc26 100644 (file)
--- 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 d8295760aff118a07e4066718ff8146fb64f0228..dab8738901678689b5c7753b5a95b2e45cf09bc4 100644 (file)
--- 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 e8ca8210ee825eaece6fe84e2aea51b7174d36ad..90de5733d834f63c40b0c21c1b58de4b53f8d98e 100644 (file)
--- 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 e8ca8210ee825eaece6fe84e2aea51b7174d36ad..c8999df5a2a69629233c9ad4d8ff3f228bd7f33f 100644 (file)
--- 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 67113e67f7af0c0d4e8e6ae696d91d217f620df6..2a8e36776cc3377a08d9e9a502da3917de3b460c 100644 (file)
--- 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 67113e67f7af0c0d4e8e6ae696d91d217f620df6..f282104465c4bc6d90927ebb77b2a2fe5e48e67f 100644 (file)
--- 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 24f371ca742c7b4096f789b860086f44071a5f11..98ac1d844e00cb9bd07f41a86482f326bdaf4fb4 100644 (file)
--- 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 d68336af1a35a681ba34e0177059c71c6f4380c3..e8bc4a106c5f084e9bb9b7ab845adc7d375c4a23 100644 (file)
--- 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 d68336af1a35a681ba34e0177059c71c6f4380c3..8ee8dbbec0891bf4392eaef92a3ed399c547a59a 100644 (file)
--- 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 fd3f626b9b5ccd97b800d84a81bba82e49aa134c..60964e765009d7367d32679f1047d63dfd395dc4 100644 (file)
--- 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 fd3f626b9b5ccd97b800d84a81bba82e49aa134c..36a5438084a6137a7f9158f4fc45a2e82c40d60d 100644 (file)
--- 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 6c16e0b6e3158c39b22dec97404a39476ce4b6c2..27186142894d2fef684349d97626d42049016b21 100644 (file)
--- 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 :