X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fstatuses.txt;h=38800d6c016441d8c7d289df2792e583bc039be2;hb=f9f775a550264a8dc9ce7ea9a48b79892a122c3c;hp=2e9c9e3ddfbc3594956ca01582b5cb0409d810fe;hpb=39b205d12af34c0c8d6e691da2628bc386b70cf2;p=helm.git

diff --git a/matita/components/statuses.txt b/matita/components/statuses.txt
index 2e9c9e3dd..38800d6c0 100644
--- a/matita/components/statuses.txt
+++ b/matita/components/statuses.txt
@@ -1,20 +1,21 @@
-grafitetypes
- |--> dumpable
- |--> nciclibrary
- |--> grafiteparser --> notation_parser
- |--> tac                
-       |--> auto         
-       |--> eq           
-       |--> lexicon
-             |--> notation_parser
-             |--> interpretation
-             |       |--> nciccoercion --> unif_hint
-             |--> termcontentpres
+grafitetypes(baseuri,ng_mode)
+ |--> 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=...)
 
-applytransformation
-    |
-    |-> interpretation -> nciccoercion
-    |                         |
-    |                     unif_hint
-    |
-    |-> termcontentpres
+applytransformation()
+ |--> termcontentpres(...)
+ |--> interpretation(...)