X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2Fmatita.txt;h=ce34e404ca1dabdbf5aefaaa24388340d78fb026;hb=771ee8b9d122fa963881c876e86f90531bb7434f;hp=199caf5f876f7ad5b2dd7b9a15732a7b2c469bff;hpb=88f2dab5015deac5e76abfe93362291238b0def4;p=helm.git
diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 199caf5f8..ce34e404c 100644
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -1,6 +1,6 @@
-Ferruccio ha cambiato matita.lang:
-> iforall
-> iexists
+ Ferruccio ha cambiato matita.lang:
+ > iforall
+ > iexists
TODO
NUCLEO