fork for Matita version B

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

diff --git a/matitaB/components/statuses.txt b/matitaB/components/statuses.txt
new file mode 100644 (file)
index 0000000..285eae5
--- /dev/null
+++ b/matitaB/components/statuses.txt
@@ -0,0 +1,20 @@
+grafitetypes(baseuri,ng_mode)
+ |--> dumpable(dump=objs+dependencies+includes)
+ |--> nciclibrary(timestamp)
+ |--> 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)
+       |--> grafitedisambiguate(db=aliases+multi_aliases+new_aliases)
+             |--> interpretation(db=level2_patterns32,compiled32,
+                   |                pattern32_matrix,counter)
+                   |--> nciccoercion(db=...)
+                         |--> unif_hint(db=...)
+
+applytransformation()
+ |--> termcontentpres(...)
+ |--> interpretation(...)