X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.txt;h=f26f95c3c8fe5049048bf8a44487234866727aa1;hb=4301dbaf20b68840e3bdf6a9b701d71034c91b7f;hp=cac073c2940fe7c20c7506e4a606315d0b42e4e7;hpb=c9084482321e613ee4d43ec62c512a0271a36808;p=helm.git

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index cac073c29..f26f95c3c 100644
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -1,3 +1,10 @@
+Ferruccio ha cambiato matita.lang:
+>      <keyword>iforall</keyword>
+>      <keyword>iexists</keyword>
+
+- possibile bug cut&paste di pattern profondi nelle ipotesi: secondo
+  me sbaglia il nome dell'ipotesi!
+
 TODO
   NUCLEO
    - http://mowgli.cs.unibo.it:58084/proofCheck?uri=cic:/Coq/Reals/Rtopology/interior_P3.con