From b08fc6cc9775b74ab859541ce42f0b87dd7f42de Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sun, 19 Oct 2008 09:55:29 +0000 Subject: [PATCH] ... --- 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 61e51cf79..12bbf9961 100644 --- a/helm/www/matita/download.shtml +++ b/helm/www/matita/download.shtml @@ -12,15 +12,14 @@

Releases

- The current version is 0.5.3, released on July 23, 2008. Here the + The current version is 0.5.4, released on October 19, 2008. Here the ChangeLog.

Live CD
- +
.deb package
@@ -42,8 +42,8 @@ a219d4e4f25288f41e7e90b9275e5284
Sources
You can download the sources of Matita (around 2 MB, md5sum: -eb7517fc3d265e1e562989b96850fcd0 + href="FILES/matita_0.5.4.orig.tar.gz">sources of Matita (around 2 MB, md5sum: +a338276c63408de78852a914d753a1ca ) and build it by yourself, following the
News
    +
  • 19 October 2008
    + Matita release 0.5.4 available for
    download. +
  • 23 July 2008
    Matita release 0.5.3 available for download.
  • diff --git a/helm/www/matita/news_it.shtml b/helm/www/matita/news_it.shtml index f80558735..98f3765fa 100644 --- a/helm/www/matita/news_it.shtml +++ b/helm/www/matita/news_it.shtml @@ -3,6 +3,9 @@
    Novità
      +
    • 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.39.2