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

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