- better names, interface simplified

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

diff --git a/matita/components/statuses.txt b/matita/components/statuses.txt
index c10990aeb8a2cfa85ae535cefb6077d716a47c82..e6276014b23d8f772454f6755fc60c8a46978078 100644 (file)
--- a/matita/components/statuses.txt
+++ b/matita/components/statuses.txt
@@ -4,13 +4,17 @@ grafitetypes(baseuri,ng_mode)
  |--> 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)
+
+applytransformation()
+ |--> termcontentpres(...)
+ |--> interpretation(...)