]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/matita/download.shtml
projects / helm.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
...
[helm.git] / helm / www / matita / download.shtml
diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index 45fd3e4aae70731ffe5303e0e469b3cb7a2213be..adb9981fd7b703c1bc6473c44d7cb8ae93803aad 100644 (file)
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -1,6 +1,6 @@
-<!-- $Id$ -->
 <!--#include virtual="xhtml-header.shtml" -->
 <!--#include virtual="xhtml-header.shtml" -->
-<html>
+<!-- $Id$ -->
+<html xmlns="http://www.w3.org/1999/xhtml">
   <head>
     <title>Matita - Download</title>
     <!--#include virtual="xhtml-meta.shtml" -->
   <head>
     <title>Matita - Download</title>
     <!--#include virtual="xhtml-meta.shtml" -->
@@ -12,17 +12,25 @@
 
       <h2>Releases<a name="releases"></a></h2>
       <p>
 
       <h2>Releases<a name="releases"></a></h2>
       <p>
-      The current release (candidate) is version 0.4.98. 
+      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>
       <dl>
         <dt>Live CD</dt>
-        
-        <dd>The <a href="FILES/matita-0.4.98-5.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>
 
         <dt>.deb package</dt>
         </dd>
 
         <dt>.deb package</dt>
@@ -30,24 +38,21 @@
         <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>
         <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>
         </dd>
 
         <dt>Sources</dt>
         
         <dd>You can download the <a
         </dd>
 
         <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.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>
       </dl>
         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>
       </dl>
-      </p>
 
       <h2>License<a name="license"></a></h2>
       <p>
 
       <h2>License<a name="license"></a></h2>
       <p>
@@ -61,22 +66,42 @@
       <p>
       You can <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&amp;path=%2F&amp;sc=0">browse our svn repository</a> directly on the web.
       </p>
       <p>
       You can <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&amp;path=%2F&amp;sc=0">browse our svn repository</a> directly on the web.
       </p>
-      <!-- THERE IS NO OPEN SVN SERVER ON MOWGLI
+
+      <h2>Nightly builds<a name="nightly"></a></h2>
       <p>
       <p>
-      To checkout a copy of the sources type:
+      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>
       </p>
+      <pre>
+      deb http://matita.cs.unibo.it/DEBIAN ./
+      deb-src http://matita.cs.unibo.it/DEBIAN ./
+      </pre>
       <p>
       <p>
-      <kbd>svn co -N svn://mowgli.cs.unibo.it/trunk/helm/software/</kbd><br />
-      <kbd>cd software/</kbd><br />
-      <kbd>svn co svn://mowgli.cs.unibo.it/trunk/helm/software/components</kbd><br />
-      <kbd>svn co svn://mowgli.cs.unibo.it/trunk/helm/software/matita</kbd><br />
+      If you are using Ubuntu Hardy you may want to add these lines to your apt/sources.list file:
       </p>
       </p>
+      <pre>
+      deb http://matita.cs.unibo.it/UBUNTU_HARDY ./
+      deb-src http://matita.cs.unibo.it/UBUNTU_HARDY ./
+      </pre>
       <p>
       <p>
-      Once you got the sources, have a look at the
-      <a href="docs/manual/sec_install.html">installation instructions</a> on
-      how to build and install Matita from sources.
+      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>
   </body>
       <!--#include virtual="bottombar.shtml" -->
     </div>
   </body>
Unnamed repository; edit this file 'description' to name the repository.