X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fstatuses.txt;h=285eae584ff381b10ea3f305ab260cc7d33e7885;hb=75f910c7001ba5a6abe61fc93a2731753c7ba188;hp=38800d6c016441d8c7d289df2792e583bc039be2;hpb=f9f775a550264a8dc9ce7ea9a48b79892a122c3c;p=helm.git

diff --git a/matita/components/statuses.txt b/matita/components/statuses.txt
index 38800d6c0..285eae584 100644
--- a/matita/components/statuses.txt
+++ b/matita/components/statuses.txt
@@ -1,11 +1,10 @@
 grafitetypes(baseuri,ng_mode)
- |--> dumpable(dump)
+ |--> 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)
+ |--> termcontentpres(db=level1_patterns21,compiled21,pattern21_matrix,counter)
  |
  |--> tac(obj,stack)
        |--> auto(automation_cache)