X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fsoftware%2Fmatita%2Fmatita.lang;h=9238684a08cc4de408bd86aef9bfeb85bbee2bb5;hb=59fd7b5ea24e71b47aee069440f140bcccf1292a;hp=a1d578b6d1c0f4dd91e085b9e47cf14c847ae44c;hpb=5f3a6dbe686146cc7176130aa295bd603338cac2;p=helm.git
diff --git a/helm/software/matita/matita.lang b/helm/software/matita/matita.lang
index a1d578b6d..9238684a0 100644
--- a/helm/software/matita/matita.lang
+++ b/helm/software/matita/matita.lang
@@ -9,17 +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}
@@ -53,6 +54,32 @@
('\%{char-esc}')|('[^\\']')
+
+ whelp *
+ elim
+ hint
+ instance
+ locate
+ match
+
+
+ \\
+ def
+ forall
+ lambda
+ to
+ exists
+ Rightarrow
+ Assign
+ land
+ lor
+ lnot
+ liff
+ subst
+ vdash
+ iforall
+ iexists
+
@@ -72,6 +99,7 @@
ncoinductive
nlet
nlemma
+ nremark
naxiom
@@ -155,6 +183,7 @@
napply
+ napplyS
ncases
nletin
nauto
@@ -166,6 +195,7 @@
nchange
nrewrite
ncut
+ ninversion
nlapply
ndestruct
@@ -252,66 +282,14 @@
Type[2]
CProp[2]
+
+
+ â|â|λ|=|â|â|â¦|â|â¡|\?
+
+
+ \[|\||\]|\{|\}|@|\$|#|\\\\|;|\.|:>|:
+
-
-