From 2a59f55f4625ebabb02aefc3cb8c8842040be554 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 4 Nov 2010 21:24:51 +0000 Subject: [PATCH] .. --- matita/components/statuses.txt | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/matita/components/statuses.txt b/matita/components/statuses.txt index c10990aeb..731cffeaa 100644 --- a/matita/components/statuses.txt +++ b/matita/components/statuses.txt @@ -9,8 +9,9 @@ grafitetypes(baseuri,ng_mode) |--> 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) -- 2.39.2