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 (file)
index 0000000..4bec529
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 e228cf91d72097550fd5e80f5cc4c12b08bfe1eb..27310e944956e84c2d97098338a799b9cf21aa86 100644 (file)
--- 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 6aec5d333bbff9d01250be3f086fb081e0858634..61543f11713711bcaae29037a78c3a6e6d217dc8 100644 (file)
--- 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>