From 6d887c63e04db301e185042eb9b2a7dbe9fd47e8 Mon Sep 17 00:00:00 2001
From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Fri, 10 Dec 2010 12:36:23 +0000
Subject: [PATCH] Notation for - (clear).

---
 matita/matita/matita.lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/matita/matita/matita.lang b/matita/matita/matita.lang
index 30e7305ec..62bfaccee 100644
--- a/matita/matita/matita.lang
+++ b/matita/matita/matita.lang
@@ -180,7 +180,7 @@
           <match>∀|∃|λ|=|→|⇒|…|≝|≡|\?</match>
         </context>
         <context id="tinycals" style-ref="tinycals">
-		<match>\[|\||\]|\{|\}|>|//|&lt;|@|\$|#|\\\\|;|\.|:>|:</match>
+		<match>\[|\||\]|\{|\}|>|//|&lt;|@|\$|#|\\\\|;|\.|:>|:|-</match>
         </context>
       </include>
     </context>
-- 
2.39.2