X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fstatuses.txt;h=285eae584ff381b10ea3f305ab260cc7d33e7885;hb=65383ff6ec2236b0a61310b872ea4cd5fcc26fb7;hp=5e52989f1b094f7e1f4acfb64a25ae9f0129032f;hpb=d8c17db3c787f3ea964bbcd3b27427ca44b356d0;p=helm.git

diff --git a/matita/components/statuses.txt b/matita/components/statuses.txt
index 5e52989f1..285eae584 100644
--- a/matita/components/statuses.txt
+++ b/matita/components/statuses.txt
@@ -1,5 +1,5 @@
-grafitetypes(baseuri,ng_mode,dependencies)
- |--> dumpable(dump)
+grafitetypes(baseuri,ng_mode)
+ |--> dumpable(dump=objs+dependencies+includes)
  |--> nciclibrary(timestamp)
  |--> grafiteparser(db=ast_statement grammarentry)
  |     |--> cicnotationparser(db=grammars+keywords+items)