...

[helm.git] / helm / www / matita / download.shtml

diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index a92fa2589bde160c5dac961408349bf3d6c01c0b..6f96a5c941e753308da8af4ea8801fc053be1593 100644 (file)
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -12,23 +12,26 @@
 
       <h2>Releases<a name="releases"></a></h2>
       <p>
 
       <h2>Releases<a name="releases"></a></h2>
       <p>

-      The current version is 0.5.1, released on May 29, 2008. Here the 
+      The current version is 0.5.7, released on February 15, 2009. Here the 

       <a href="http://helm.cs.unibo.it/websvn/filedetails.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fsoftware%2Fmatita%2Fdist%2FChangeLog&rev=0&sc=0">ChangeLog</a>.
       </p>
       <dl>
         <dt>Live CD</dt>
 
       <a href="http://helm.cs.unibo.it/websvn/filedetails.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fsoftware%2Fmatita%2Fdist%2FChangeLog&rev=0&sc=0">ChangeLog</a>.
       </p>
       <dl>
         <dt>Live CD</dt>
 

-        <dd>Coming soon</dd>

         <!--
         <!--

-        <dd>The <a href="FILES/matita-0.5.0-1.iso">live CD</a> (around 330
-        MB, md5sum: 6f2ce4830878208f40ebea460308fbb5) 
+        <dd>Coming soon</dd>
+        -->
+        <dd>The <a href="FILES/matita-0.5.7.iso">live CD</a> (around 350
+        MB, md5sum: 
+21ae7af3cf1c1f3fd8624f191db51976  
+        ) 

         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
           href="http://virtualbox.org">virtualbox</a> and boot a virtual
         machine from the CD image. Virtualbox is available for Mac OS X,
         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
           href="http://virtualbox.org">virtualbox</a> and boot a virtual
         machine from the CD image. Virtualbox is available for Mac OS X,

-        Windows and Linux.<br/>
+        Windows and Linux. A short guide to VirtualBox is part of the 
+        <a href="docs/manual/html">Matita manual</a><br/>

         </dd>
         </dd>

-        -->

 
         <dt>.deb package</dt>
         
 
         <dt>.deb package</dt>
         


@@ -40,11 +43,12 @@
         <dt>Sources</dt>
         
         <dd>You can download the <a
         <dt>Sources</dt>
         
         <dd>You can download the <a

-          href="FILES/matita_0.5.1.orig.tar.gz">sources</a> of Matita (around 2 MB, md5sum:
-        4a9f141d70238733594c414babdf7f63)
+          href="FILES/matita_0.5.7.orig.tar.gz">sources</a> of Matita (around 2 MB, md5sum:
+1ac14d26a3d742206b6d063f4e2d7038  
+        )

         and
         build it by yourself, following the <a
         and
         build it by yourself, following the <a

-          href="docs/manual/sec_install.html">installation instructions</a>.
+          href="docs/manual/html/sec_install.html">installation instructions</a>.

         The build process, due to the high number of external dependency is not
         trivial, we thus suggest you to try the live CD or the .deb package
         first.</dd>
         The build process, due to the high number of external dependency is not
         trivial, we thus suggest you to try the live CD or the .deb package
         first.</dd>


@@ -65,7 +69,7 @@
 
       <h2>Nightly builds<a name="nightly"></a></h2>
       <p>
 
       <h2>Nightly builds<a name="nightly"></a></h2>
       <p>

-      A build of the Debian package is performed every night, and a live CD containing that version also is built.
+      A build of the Debian package is performed every night, and a live CD containing that version is also built.

       You can <a href="FILES/matita-svnhead.iso">download this experimental live CD</a>, or add the Debian repository
       to your apt configuration file: 
       </p>
       You can <a href="FILES/matita-svnhead.iso">download this experimental live CD</a>, or add the Debian repository
       to your apt configuration file: 
       </p>


@@ -73,6 +77,24 @@
       deb http://matita.cs.unibo.it/DEBIAN ./
       deb-src http://matita.cs.unibo.it/DEBIAN ./
       </pre>
       deb http://matita.cs.unibo.it/DEBIAN ./
       deb-src http://matita.cs.unibo.it/DEBIAN ./
       </pre>

+      
+      <h2>Cluster .cs.unibo.it.<a name="clustercs"></a></h2>
+      <p>
+      The following repository contains the version of Matita installed 
+      in the Ercolani laboratory, currently running Ubuntu Jaunty.
+      </p>
+      <pre>
+      deb http://matita.cs.unibo.it/CLUSTERCS ./
+      deb-src http://matita.cs.unibo.it/CLUSTERCS ./
+      </pre>
+      <p>
+      The same version is also available for Ubuntu Hardy (LTS)
+      </p>
+      <pre>
+      deb http://matita.cs.unibo.it/UBUNTU_HARDY ./
+      deb-src http://matita.cs.unibo.it/UBUNTU_HARDY ./
+      </pre>
+

 
       <!--#include virtual="bottombar.shtml" -->
     </div>
 
       <!--#include virtual="bottombar.shtml" -->
     </div>