X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Fmatita%2Fnews.shtml;h=7c448cf6c8633a205e48667cd16158b7ae337cab;hb=8899a3f240f62633f4df58b2ee358fa285a82d1d;hp=e478812f75f28f403bfecd98077c04b9ee8ba7bc;hpb=d0b2bceffedce633f496b4e4fcc557be73fbfe1d;p=helm.git
diff --git a/helm/www/matita/news.shtml b/helm/www/matita/news.shtml
index e478812f7..7c448cf6c 100644
--- a/helm/www/matita/news.shtml
+++ b/helm/www/matita/news.shtml
@@ -1,8 +1,61 @@
-
News:
-
+
+
+ - 8 January 2010
+ Matita release 0.5.8 available for download.
+
+ - 7 August 2009
+ Matita-prover scores best new entry at the
+ CADE ATP System Competition (UEQ).
+ - 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.
+
+ - 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.
+
+ - 18 Jul 2006
+ the scripts of the library are now
+ on-line
+
- 14 Jun 2006
mailing lists for Matita are now
available