WARNING: partial commit.

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

diff --git a/matita/components/statuses.txt b/matita/components/statuses.txt
index 8e47b67f0e071c19d2b804627b82e762ea4dd55e..cb454ba5c78471b185eaa810919ac01d7203599d 100644 (file)
--- a/matita/components/statuses.txt
+++ b/matita/components/statuses.txt
@@ -1,7 +1,7 @@
-grafitetypes -> tac -> auto + eq + (grafitedisambiguate = lexicon +nciccoercion)
-           |--> dumpable                                    |
-           |--> nciclibrary                             interpretation
+grafitetypes -> tac -> auto + eq + (grafitedisambiguate = lexicon+nciccoercion)
+           |--> dumpable                                    |             |
+           |--> nciclibrary                             interpretation unif_hint
 
-ntermciccontent -> nciccoercion+interpretation
+ntermciccontent = nciccoercion+interpretation
                        |
                   unif_hint