dependencies between statuses simplified

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

diff --git a/matita/components/statuses.txt b/matita/components/statuses.txt
index d4fb967b7be6c46b5acec12213c891abdcf48661..2e9c9e3ddfbc3594956ca01582b5cb0409d810fe 100644 (file)
--- a/matita/components/statuses.txt
+++ b/matita/components/statuses.txt
@@ -1,15 +1,15 @@
 grafitetypes
  |--> dumpable
  |--> nciclibrary
- |--> grafiteparser -----
- |--> tac               |
-       |--> auto        |
-       |--> eq          |
-       |-------------> lexicon
-                        |--> notation_parser
-                        |--> interpretation
-                        |       |--> nciccoercion --> unif_hint
-                        |--> termcontentpres
+ |--> grafiteparser --> notation_parser
+ |--> tac                
+       |--> auto         
+       |--> eq           
+       |--> lexicon
+             |--> notation_parser
+             |--> interpretation
+             |       |--> nciccoercion --> unif_hint
+             |--> termcontentpres
 
 applytransformation
     |