X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fnews.shtml;h=3b3e0fe90e5f59ad5c6b346745f1551118818160;hb=b12a46d53cf80d40b253ca5dd495397c5c0b4287;hp=eeab8cfac8b9e646cbd2adecf97927c36c2fb126;hpb=884876e28023324f68c97f1e387431d21b0a6453;p=helm.git
diff --git a/helm/www/matita/news.shtml b/helm/www/matita/news.shtml
index eeab8cfac..3b3e0fe90 100644
--- a/helm/www/matita/news.shtml
+++ b/helm/www/matita/news.shtml
@@ -1,8 +1,33 @@
-
News:
-
+
+
+ - 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.
+
+ - 18 Dec 2007
+ Added a tutorial and some exercises to the documentation
+ page.
+
+ - 20 Mar 2007
+ A course on Matita at the
+ Types Summer School 2007.
+
+ - 24 Jan 2007
+ Solution for the Poplmark challenge (part 1a)
+
+ - 1 Dic 2006
+
+ Presentation of Matita to the Italian Association for
+ Mathematics.
+
- 21 Aug 2006
Matita-prover on TPTP.