From 5e3dd80bf4f904ad895562ed54d0df35970df8a3 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 4 Nov 2010 21:23:32 +0000
Subject: [PATCH] All methods made explicit.

---
 matita/components/statuses.txt | 26 ++++++++++++++++----------
 1 file changed, 16 insertions(+), 10 deletions(-)

diff --git a/matita/components/statuses.txt b/matita/components/statuses.txt
index 18fe97ab4..c10990aeb 100644
--- a/matita/components/statuses.txt
+++ b/matita/components/statuses.txt
@@ -1,10 +1,16 @@
-grafitetypes
- |--> dumpable
- |--> nciclibrary
- |--> grafiteparser --> notation_parser
- |--> tac                
-       |--> auto         
-       |--> eq           
-       |--> lexicon
-             |--> interpretation --> nciccoercion --> unif_hint
-             |--> termcontentpres
+grafitetypes(baseuri,ng_mode)
+ |--> dumpable(dump)
+ |--> nciclibrary(timestamp)
+ |--> grafiteparser(db=ast_statement grammarentry)
+ |     |--> cicnotationparser(db=grammars+keywords+items)
+ |
+ |--> tac(obj,stack)
+       |--> auto(automation_cache)
+       |--> eq(eq_cache)
+       |--> lexicon(lstatus=aliases+multi_aliases+new_aliases)
+             |--> interpretation(db=level2_patterns32,compiled32,
+                   |                pattern32_matrix,counter)
+                   |--> nciccoercion(db=...)
+                         |--> unif_hint(db=...)
+             |--> termcontentpres(db=level1_patterns21,compiled21,
+                                     pattern21_matrix,counter)
-- 
2.39.2