X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fstatuses.txt;h=d4fb967b7be6c46b5acec12213c891abdcf48661;hb=f5065f33e0689753c3f2744928b96851ca77ca8d;hp=03b17e31dce187a4cdab6aa8cefc3a9404deff70;hpb=f3f6b451707a3feb8245717e3fa7ca25df0ce8ef;p=helm.git

diff --git a/matita/components/statuses.txt b/matita/components/statuses.txt
index 03b17e31d..d4fb967b7 100644
--- a/matita/components/statuses.txt
+++ b/matita/components/statuses.txt
@@ -1,15 +1,20 @@
-grafitetypes -> tac -> auto + eq + (grafitedisambiguate = lexicon+nciccoercion)
-           |--> dumpable                                    |             |
-           |--> nciclibrary                                 |       unif_hint
-                                                            |
-     interpretation + termcontentpres + notation_parser= cicnotation
-                                                         
+grafitetypes
+ |--> dumpable
+ |--> nciclibrary
+ |--> grafiteparser -----
+ |--> tac               |
+       |--> auto        |
+       |--> eq          |
+       |-------------> lexicon
+                        |--> notation_parser
+                        |--> interpretation
+                        |       |--> nciccoercion --> unif_hint
+                        |--> termcontentpres
 
-
-
-
-ntermciccontent = nciccoercion+interpretation
-                       |
-                  unif_hint
-
-applytransformation = ntermciccontent+termcontentpres
+applytransformation
+    |
+    |-> interpretation -> nciccoercion
+    |                         |
+    |                     unif_hint
+    |
+    |-> termcontentpres