X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita.lang;h=72055f386a680e2bca3fad9690fb813693bdf5c8;hb=cd91767a396b7bbc72e6e3ee90a3b758421f935d;hp=02c7045ba0eac86922e58324157e6f0e96c0b510;hpb=e9b482856904b32a5c92eee8bcd860ffe74fa74f;p=helm.git

diff --git a/matita/matita.lang b/matita/matita.lang
index 02c7045ba..72055f386 100644
--- a/matita/matita.lang
+++ b/matita/matita.lang
@@ -85,6 +85,7 @@
     <keyword>assumption</keyword>
     <keyword>auto</keyword>
     <keyword>paramodulation</keyword>
+    <keyword>cases</keyword>
     <keyword>clear</keyword>
     <keyword>clearbody</keyword>
     <keyword>change</keyword>
@@ -164,6 +165,7 @@
     <keyword>solve</keyword>
     <keyword>do</keyword>
     <keyword>repeat</keyword>
+    <keyword>end</keyword>
     <keyword>first</keyword>
     <keyword>focus</keyword>
     <keyword>unfocus</keyword>