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  |--> tac(obj,stack)
   8        |--> auto(automation_cache)
   9        |--> eq(eq_cache)
  10        |--> lexicon(lstatus=aliases+multi_aliases+new_aliases)
  11              |--> interpretation(db=level2_patterns32,compiled32,
  12              |     |                pattern32_matrix,counter)
  13              |     |--> nciccoercion(db=...)
  14              |           |--> unif_hint(db=...)
  15              |
  16              |--> termcontentpres(db=level1_patterns21,compiled21,
  17                                      pattern21_matrix,counter)