matita/components/statuses.txt

   1 grafitetypes(baseuri,ng_mode)
   2  |--> dumpable(dump)
   3  |--> nciclibrary(timestamp)
   4  |--> grafiteparser(db=ast_statement grammarentry)
   5  |     |--> cicnotationparser(db=grammars+keywords+items)
   6  |
   7  |--> termcontentpres(db=level1_patterns21,compiled21,
   8  |                       pattern21_matrix,counter)
   9  |
  10  |--> tac(obj,stack)
  11        |--> auto(automation_cache)
  12        |--> eq(eq_cache)
  13        |--> grafitedisambiguate(db=aliases+multi_aliases+new_aliases)
  14              |--> interpretation(db=level2_patterns32,compiled32,
  15                    |                pattern32_matrix,counter)
  16                    |--> nciccoercion(db=...)
  17                          |--> unif_hint(db=...)
  18
  19 applytransformation()
  20  |--> termcontentpres(...)
  21  |--> interpretation(...)