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

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