fix

diff --git a/helm/matita/temperino.lang b/helm/matita/temperino.lang
index b62d2c43d1ff6308c83cead7471b359b935479e9..a20193f1feb76ae32a6a1307ffa9197e5c4f9f69 100644 (file)
--- a/helm/matita/temperino.lang
+++ b/helm/matita/temperino.lang
@@ -133,6 +133,7 @@
      <keyword>to</keyword>
      <keyword>exists</keyword>
      <keyword>Rightarrow</keyword>
+     <keyword>Assign</keyword>
      <keyword>land</keyword>
      <keyword>lor</keyword>
      <keyword>subst</keyword>