- one file and three lemmas added to Basic 2

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

diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index f9f7657be7c67cc76c0a34fc5c2de608304f556d..737ee637903e8342aa469af1872fbab9f3c413f5 100644 (file)
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -12,41 +12,43 @@
 
       <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.8, released on January 8, 2010. 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.8.iso">live CD</a> (around 530
+        MB, md5sum: 
+9a6912765eacaaa7f96d7d6d6b34add5
+        ) 

         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>
         
         <dd>Matita is part of the <a
           href="http://packages.debian.org/source/matita"> Debian archive</a>, you can
 
         <dt>.deb package</dt>
         
         <dd>Matita is part of the <a
           href="http://packages.debian.org/source/matita"> Debian archive</a>, you can

-        install it with the following command:<pre>aptitude install matita matita-standard-library</pre>
-        Additionally it can be download adding the following line to your
-        <tt>/etc/apt/sources.list</tt> file: <pre>deb <a
-        href="http://mowgli.cs.unibo.it/~tassi/debian/">http://mowgli.cs.unibo.it/~tassi/debian/</a> ./ </pre>
+        install it with the following command:<pre>aptitude install matita</pre>

         </dd>
 
         <dt>Sources</dt>
         
         <dd>You can download the <a
         </dd>
 
         <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.8.orig.tar.gz">sources</a> of Matita (around 6 MB, md5sum:
+125223d3dc522c4ac063a66f5d46df69 
+        )

         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,14 +69,32 @@
 
       <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: 
       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>

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