bumped date

[helm.git] / matita / matita.lang

diff --git a/matita/matita.lang b/matita/matita.lang
index 1e2f0e57c70711b1dd61d6c38852b0610b1b03a5..b135aa78dd1720528959db574342346189c68e19 100644 (file)
--- a/matita/matita.lang
+++ b/matita/matita.lang
@@ -134,6 +134,8 @@
     <keyword>do</keyword>
     <keyword>repeat</keyword>
     <keyword>first</keyword>
+    <keyword>focus</keyword>
+    <keyword>unfocus</keyword>
   </keyword-list>