X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fmatita.lang;h=9238684a08cc4de408bd86aef9bfeb85bbee2bb5;hb=08141cb42e6caa637b062a645996f90fc4c8c166;hp=f4e3e13810225855546db7b21322af022dcff073;hpb=625c846f831bb6a44135708d0664c65843f0aabd;p=helm.git
diff --git a/helm/software/matita/matita.lang b/helm/software/matita/matita.lang
index f4e3e1381..9238684a0 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}
@@ -100,6 +99,7 @@
ncoinductive
nlet
nlemma
+ nremark
naxiom
@@ -183,6 +183,7 @@
napply
+ napplyS
ncases
nletin
nauto
@@ -194,6 +195,7 @@
nchange
nrewrite
ncut
+ ninversion
nlapply
ndestruct
@@ -280,31 +282,14 @@
Type[2]
CProp[2]
+
+
+ â|â|λ|=|â|â|â¦|â|â¡|\?
+
+
+ \[|\||\]|\{|\}|@|\$|#|\\\\|;|\.|:>|:
+
-
-