X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fstatuses.txt;h=2e9c9e3ddfbc3594956ca01582b5cb0409d810fe;hb=39b205d12af34c0c8d6e691da2628bc386b70cf2;hp=d4fb967b7be6c46b5acec12213c891abdcf48661;hpb=8161bcb58808e60658072bc3da83b62d1df2a223;p=helm.git

diff --git a/matita/components/statuses.txt b/matita/components/statuses.txt
index d4fb967b7..2e9c9e3dd 100644
--- 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
     |