From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sat, 10 May 2008 10:39:29 +0000 (+0000)
Subject: released 0.5.0
X-Git-Tag: make_still_working~5238
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=bb5abf6787cc2ed55d54af5bf3de5bdcf68071ad;p=helm.git

released 0.5.0
---

diff --git a/helm/www/matita/FILES/matita_0.5.0.orig.tar.gz b/helm/www/matita/FILES/matita_0.5.0.orig.tar.gz
new file mode 100644
index 000000000..4bec5293f
Binary files /dev/null and b/helm/www/matita/FILES/matita_0.5.0.orig.tar.gz differ
diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index e228cf91d..27310e944 100644
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -12,12 +12,14 @@
 
       <h2>Releases<a name="releases"></a></h2>
       <p>
-      The current release (candidate) is version 0.4.98. 
+      The current release is version 0.5.0, released on May 10, 2008.
       </p>
       <dl>
         <dt>Live CD</dt>
-        
-        <dd>The <a href="FILES/matita-0.4.98-5.iso">live CD</a> (around 300
+
+        <dd>available in few days</dd>
+        <!--
+        <dd>The <a href="FILES/matita-0.5.0-1.iso">live CD</a> (around 300
         MB, md5sum: 2692090267bb551bb34d34ac189dafcf) 
         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 <a
@@ -25,6 +27,7 @@
         machine from the CD image. Virtualbox is available for Mac OS X,
         Windows and Linux.<br/>
         </dd>
+        -->
 
         <dt>.deb package</dt>
         
@@ -39,8 +42,8 @@
         <dt>Sources</dt>
         
         <dd>You can download the <a
-          href="FILES/matita_0.4.98.orig.tar.gz">sources</a> of Matita (around 2 MB, md5sum:
-        ef7449f06efc67d48ccbddbf55817ac3)
+          href="FILES/matita_0.5.0.orig.tar.gz">sources</a> of Matita (around 2 MB, md5sum:
+        53859d688f554bc73f72218a7c8fea58)
         and
         build it by yourself, following the <a
           href="docs/manual/sec_install.html">installation instructions</a>.
diff --git a/helm/www/matita/news.shtml b/helm/www/matita/news.shtml
index 6aec5d333..61543f117 100644
--- a/helm/www/matita/news.shtml
+++ b/helm/www/matita/news.shtml
@@ -3,6 +3,9 @@
 <div class="news">
   <div class="newsheader">News</div>
   <ul class="news">
+    <li><span class="date">10 May 2007</span><br />
+    Matita release 0.5.0 available for <a href="download.shtml">download</a>.
+    </li>
     <li><span class="date">18 Dec 2007</span><br />
     Matita release candidate 0.4.98 available for <a href="download.shtml">download</a>.
     </li>