X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fcomponents%2Fstatuses.txt;h=5e52989f1b094f7e1f4acfb64a25ae9f0129032f;hb=9fff8ca8b7cd686b0f7b5e9df77349b7b67e1a58;hp=8e47b67f0e071c19d2b804627b82e762ea4dd55e;hpb=aab0401db0bedd941da96a32acd600af3fbe42e7;p=helm.git

diff --git a/matita/components/statuses.txt b/matita/components/statuses.txt
index 8e47b67f0..5e52989f1 100644
--- a/matita/components/statuses.txt
+++ b/matita/components/statuses.txt
@@ -1,7 +1,20 @@
-grafitetypes -> tac -> auto + eq + (grafitedisambiguate = lexicon +nciccoercion)
-           |--> dumpable                                    |
-           |--> nciclibrary                             interpretation
+grafitetypes(baseuri,ng_mode,dependencies)
+ |--> dumpable(dump)
+ |--> nciclibrary(timestamp)
+ |--> grafiteparser(db=ast_statement grammarentry)
+ |     |--> cicnotationparser(db=grammars+keywords+items)
+ |
+ |--> termcontentpres(db=level1_patterns21,compiled21,pattern21_matrix,counter)
+ |
+ |--> tac(obj,stack)
+       |--> auto(automation_cache)
+       |--> eq(eq_cache)
+       |--> grafitedisambiguate(db=aliases+multi_aliases+new_aliases)
+             |--> interpretation(db=level2_patterns32,compiled32,
+                   |                pattern32_matrix,counter)
+                   |--> nciccoercion(db=...)
+                         |--> unif_hint(db=...)
 
-ntermciccontent -> nciccoercion+interpretation
-                       |
-                  unif_hint
+applytransformation()
+ |--> termcontentpres(...)
+ |--> interpretation(...)