From 24954699430cd35c4486b1f14ab8b51cffb2cf05 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 18 Nov 2008 12:50:57 +0000 Subject: [PATCH] 0.5.5 --- helm/www/matita/download.shtml | 10 +++++----- helm/www/matita/news.shtml | 3 +++ helm/www/matita/news_it.shtml | 3 +++ 3 files changed, 11 insertions(+), 5 deletions(-) diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml index 36ea82915..9ff417080 100644 --- a/helm/www/matita/download.shtml +++ b/helm/www/matita/download.shtml @@ -12,7 +12,7 @@

Releases

- The current version is 0.5.4, released on October 19, 2008. Here the + The current version is 0.5.5, released on November 17, 2008. Here the ChangeLog.

@@ -21,9 +21,9 @@ -
The live CD (around 330 +
The live CD (around 330 MB, md5sum: -ec6271b03376131268e126be5241f6a3 +60c746b5e2bbb8a3c3153d726285bc6a ) is the easiest way to try Matita. You can burn the CD image and boot you computer from the CD, or install a free emulator like Sources
You can download the sources of Matita (around 2 MB, md5sum: -a338276c63408de78852a914d753a1ca + href="FILES/matita_0.5.5.orig.tar.gz">sources of Matita (around 2 MB, md5sum: +e22f3c313f3291400f2912cc24eaa591 ) and build it by yourself, following the
News
    +
  • 17 November 2008
    + Matita release 0.5.5 available for
    download. +
  • 19 October 2008
    Matita release 0.5.4 available for download.
  • diff --git a/helm/www/matita/news_it.shtml b/helm/www/matita/news_it.shtml index 98f3765fa..f1daa7df5 100644 --- a/helm/www/matita/news_it.shtml +++ b/helm/www/matita/news_it.shtml @@ -3,6 +3,9 @@
    Novità
      +
    • 17 Novembre 2008
      + Matita release 0.5.5 disponibile per il download. +
    • 19 Ottobre 2008
      Matita release 0.5.4 disponibile per il download.
    • -- 2.39.2