X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.lang;h=2ba1967a06e5aaaa6b176ff6ad05398bf929650a;hb=ed76333464d49a3cd55ca2adb05b0afdbc8486bd;hp=f4e3e13810225855546db7b21322af022dcff073;hpb=625c846f831bb6a44135708d0664c65843f0aabd;p=helm.git
diff --git a/helm/software/matita/matita.lang b/helm/software/matita/matita.lang
index f4e3e1381..2ba1967a0 100644
--- a/helm/software/matita/matita.lang
+++ b/helm/software/matita/matita.lang
@@ -9,19 +9,18 @@
-
+
-
+
+
- \b[A-Z][A-Za-z0-9_']*
- \b[a-z][A-Za-z0-9_']*
- \\((\\|"|'|n|t|b|r)|[0-9]{3}|x[0-9a-fA-F]{2})
+ \\"|[0-9a-zA-Z]
\%{char-esc}
@@ -280,31 +279,14 @@
Type[2]
CProp[2]
+
+
+ â|â|λ|=|â|â|â¦|â|â¡|\?
+
+
+ \[|\||\]|\{|\}|@|\$|#|\\\\|;|\.|:>|:
+
-
-