..

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

diff --git a/matita/components/statuses.txt b/matita/components/statuses.txt
index 104a909385b8be2a9346529e138c2dd0ead6bead..731cffeaae529bd5fc8c1a6d478fb8bfd5c70da7 100644 (file)
--- a/matita/components/statuses.txt
+++ b/matita/components/statuses.txt
@@ -1,16 +1,17 @@
-grafitetypes -> tac -> auto + eq + (grafitedisambiguate = lexicon+nciccoercion)
-           |--> dumpable                                    |             |
-           |--> nciclibrary                                 |       unif_hint
-           |--> grafiteparser -> lexicon -> ...             |
-                                                            |-> interpretation
-                                                            |-> termcontentpres
-                                                            |-> notation_parser
-
-
-applytransformation
-    |
-    |-> ntermciccontent = nciccoercion+interpretation
-    |                       |
-    |                    unif_hint
-    |
-    |-> termcontentpres
+grafitetypes(baseuri,ng_mode)
+ |--> dumpable(dump)
+ |--> nciclibrary(timestamp)
+ |--> grafiteparser(db=ast_statement grammarentry)
+ |     |--> cicnotationparser(db=grammars+keywords+items)
+ |
+ |--> tac(obj,stack)
+       |--> auto(automation_cache)
+       |--> eq(eq_cache)
+       |--> lexicon(lstatus=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)