- dandling code (to be put somewhere) implementing recursive compilation

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

diff --git a/matita/components/statuses.txt b/matita/components/statuses.txt
index 64f41167b9b6ac88e20d369587c750c43d3a7e33..e2be9b49b5861273688af6db374b8ac83b8bf958 100644 (file)
--- 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 = cicnotation
-                                                         
-
-
+           |--> grafiteparser -> lexicon -> ...             |
+                                                            |-> interpretation
+                                                            |-> termcontentpres
+                                                            |-> notation_parser
 
 
 ntermciccontent = nciccoercion+interpretation