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

diff --git a/matita/matita.lang b/matita/matita.lang
index 02c7045ba..fbb21d6d1 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>