matita/components/statuses.txt

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