- dependencies between statuses simplified

[helm.git] / matita / components / statuses.txt

diff --git a/matita/components/statuses.txt b/matita/components/statuses.txt
index 104a909385b8be2a9346529e138c2dd0ead6bead..d4fb967b7be6c46b5acec12213c891abdcf48661 100644 (file)
--- a/matita/components/statuses.txt
+++ b/matita/components/statuses.txt
@@ -1,16 +1,20 @@
-grafitetypes -> tac -> auto + eq + (grafitedisambiguate = lexicon+nciccoercion)
-           |--> dumpable                                    |             |
-           |--> nciclibrary                                 |       unif_hint
-           |--> grafiteparser -> lexicon -> ...             |
-                                                            |-> interpretation
-                                                            |-> termcontentpres
-                                                            |-> notation_parser
-
+grafitetypes
+ |--> dumpable
+ |--> nciclibrary
+ |--> grafiteparser -----
+ |--> tac               |
+       |--> auto        |
+       |--> eq          |
+       |-------------> lexicon
+                        |--> notation_parser
+                        |--> interpretation
+                        |       |--> nciccoercion --> unif_hint
+                        |--> termcontentpres
 
 applytransformation
     |
-    |-> ntermciccontent = nciccoercion+interpretation
-    |                       |
-    |                    unif_hint
+    |-> interpretation -> nciccoercion
+    |                         |
+    |                     unif_hint
     |
     |-> termcontentpres