]> matita.cs.unibo.it Git - helm.git/blob - matitaB/components/statuses.txt
Update online helper entries
[helm.git] / matitaB / 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(...)