freescale porting, work in progress

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

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

-      The current release is version 0.5.0, released on May 10, 2008.
+      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>
 
       </p>
       <dl>
         <dt>Live CD</dt>
 

-        <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) 
+        <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>
         


@@ -39,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.0.orig.tar.gz">sources</a> of Matita (around 2 MB, md5sum:
-        53859d688f554bc73f72218a7c8fea58)
+          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>


@@ -67,11 +72,35 @@
       A build of the Debian package is performed every night, and a live CD containing that version also is 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: 
       A build of the Debian package is performed every night, and a live CD containing that version also is 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>

       <pre>
       deb http://matita.cs.unibo.it/DEBIAN ./
       deb-src http://matita.cs.unibo.it/DEBIAN ./
       </pre>
       <pre>
       deb http://matita.cs.unibo.it/DEBIAN ./
       deb-src http://matita.cs.unibo.it/DEBIAN ./
       </pre>

+      <p>
+      If you are using Ubuntu Hardy you may want to add these lines to your apt/sources.list file:
+      </p>
+      <pre>
+      deb http://matita.cs.unibo.it/UBUNTU_HARDY ./
+      deb-src http://matita.cs.unibo.it/UBUNTU_HARDY ./
+      </pre>
+      <p>
+      If you are using Ubuntu Intrepid you may want to add these lines to your apt/sources.list file:

       </p>
       </p>

+      <pre>
+      deb http://matita.cs.unibo.it/UBUNTU_INTREPID ./
+      deb-src http://matita.cs.unibo.it/UBUNTU_INTREPID ./
+      </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 Hardy.
+      </p>
+      <pre>
+      deb http://matita.cs.unibo.it/CLUSTERCS ./
+      deb-src http://matita.cs.unibo.it/CLUSTERCS ./
+      </pre>

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