X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fmatita%2Fmatita.txt;h=f26f95c3c8fe5049048bf8a44487234866727aa1;hb=d0c88a989d2c41d0b816c5490d4d8c89a238cb2a;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:
+> iforall
+> iexists
+
+- 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