]> matita.cs.unibo.it Git - helm.git/commitdiff
..
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 4 Nov 2010 21:24:51 +0000 (21:24 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 4 Nov 2010 21:24:51 +0000 (21:24 +0000)
matita/components/statuses.txt

index c10990aeb8a2cfa85ae535cefb6077d716a47c82..731cffeaae529bd5fc8c1a6d478fb8bfd5c70da7 100644 (file)
@@ -9,8 +9,9 @@ grafitetypes(baseuri,ng_mode)
        |--> eq(eq_cache)
        |--> lexicon(lstatus=aliases+multi_aliases+new_aliases)
              |--> interpretation(db=level2_patterns32,compiled32,
        |--> eq(eq_cache)
        |--> lexicon(lstatus=aliases+multi_aliases+new_aliases)
              |--> interpretation(db=level2_patterns32,compiled32,
-                   |                pattern32_matrix,counter)
-                   |--> nciccoercion(db=...)
-                         |--> unif_hint(db=...)
+             |     |                pattern32_matrix,counter)
+             |     |--> nciccoercion(db=...)
+             |           |--> unif_hint(db=...)
+             |
              |--> termcontentpres(db=level1_patterns21,compiled21,
                                      pattern21_matrix,counter)
              |--> termcontentpres(db=level1_patterns21,compiled21,
                                      pattern21_matrix,counter)