X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fstatuses.txt;h=285eae584ff381b10ea3f305ab260cc7d33e7885;hb=9faea203fd99a44d75ea8bcd15b59942a4226922;hp=731cffeaae529bd5fc8c1a6d478fb8bfd5c70da7;hpb=2a59f55f4625ebabb02aefc3cb8c8842040be554;p=helm.git

diff --git a/matita/components/statuses.txt b/matita/components/statuses.txt
index 731cffeaa..285eae584 100644
--- a/matita/components/statuses.txt
+++ b/matita/components/statuses.txt
@@ -1,17 +1,20 @@
 grafitetypes(baseuri,ng_mode)
- |--> dumpable(dump)
+ |--> dumpable(dump=objs+dependencies+includes)
  |--> 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)
-       |--> lexicon(lstatus=aliases+multi_aliases+new_aliases)
+       |--> grafitedisambiguate(db=aliases+multi_aliases+new_aliases)
              |--> interpretation(db=level2_patterns32,compiled32,
-             |     |                pattern32_matrix,counter)
-             |     |--> nciccoercion(db=...)
-             |           |--> unif_hint(db=...)
-             |
-             |--> termcontentpres(db=level1_patterns21,compiled21,
-                                     pattern21_matrix,counter)
+                   |                pattern32_matrix,counter)
+                   |--> nciccoercion(db=...)
+                         |--> unif_hint(db=...)
+
+applytransformation()
+ |--> termcontentpres(...)
+ |--> interpretation(...)