X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fnews_it.shtml;h=e683e31df33cc93b985a2dd29546e1cf1cfd906e;hb=eee8938b7fa43a3f3e8d3d1be55b6d1a7fc4192b;hp=0fa4c5d86ea12a3e21f7f2d8474bca6646427b42;hpb=e999e3e921dd6a7d2ef78e458bfbb26bdeaa4e7a;p=helm.git
diff --git a/helm/www/matita/news_it.shtml b/helm/www/matita/news_it.shtml
index 0fa4c5d86..e683e31df 100644
--- a/helm/www/matita/news_it.shtml
+++ b/helm/www/matita/news_it.shtml
@@ -1,10 +1,27 @@
-
News:
-
+
+
+ - 15 Febbraio 2009
+ Matita release 0.575 disponibile per il download.
+
+ - 17 Novembre 2008
+ Matita release 0.5.5 disponibile per il download.
+
+ - 19 Ottobre 2008
+ Matita release 0.5.4 disponibile per il download.
+
+ - 23 Luglio 2008
+ Matita release 0.5.3 disponibile per il download.
+
+ - 2 Luglio 2008
+ Matita release 0.5.2 disponibile per il download.
+
+ - 20 Mar 2007
Introduzione a Matita alla
Types Summer School 2007.
+
- 24 Jan 2007
Soluzione per il Poplmark challenge (part 1a)