X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Fmatita%2Fnews.shtml;h=bf8f627c8b5ddd39ffeea2c0b1c25f3150ac664e;hb=dc7e826399162e2fde3ddf1f02d5530d6cd11205;hp=6aec5d333bbff9d01250be3f086fb081e0858634;hpb=9d356a6f202a77fb1dd67b57b1c86ac3ebe1382b;p=helm.git
diff --git a/helm/www/matita/news.shtml b/helm/www/matita/news.shtml
index 6aec5d333..bf8f627c8 100644
--- a/helm/www/matita/news.shtml
+++ b/helm/www/matita/news.shtml
@@ -3,6 +3,27 @@
+ - 15 February 2009
+ Matita release 0.5.7 available for download.
+
+ - 1 December 2008
+ Matita release 0.5.6 available for download.
+
+ - 17 November 2008
+ Matita release 0.5.5 available for download.
+
+ - 19 October 2008
+ Matita release 0.5.4 available for download.
+
+ - 23 July 2008
+ Matita release 0.5.3 available for download.
+
+ - 2 July 2008
+ Matita release 0.5.2 available for download.
+
+ - 10 May 2008
+ Matita release 0.5.0 available for download.
+
- 18 Dec 2007
Matita release candidate 0.4.98 available for download.