]> matita.cs.unibo.it Git - helm.git/blob - helm/www/matita/download.shtml
add comment
[helm.git] / helm / www / matita / download.shtml
1 <!--#include virtual="xhtml-header.shtml" -->
2 <!-- $Id$ -->
3 <html xmlns="http://www.w3.org/1999/xhtml">
4   <head>
5     <title>Matita - Download</title>
6     <!--#include virtual="xhtml-meta.shtml" -->
7   </head>
8   <body>
9     <!--#include virtual="menubar.shtml" -->
10     <div class="main">
11       <h1>Download Matita!</h1>
12
13       <h2>Releases<a name="releases"></a></h2>
14       <p>
15       The current version is 0.5.7, released on February 15, 2009. Here the 
16       <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>.
17       </p>
18       <dl>
19         <dt>Live CD</dt>
20
21         <!--
22         <dd>Coming soon</dd>
23         -->
24         <dd>The <a href="FILES/matita-0.5.7.iso">live CD</a> (around 350
25         MB, md5sum: 
26 21ae7af3cf1c1f3fd8624f191db51976  
27         ) 
28         is the easiest way to try Matita. You can burn the CD image
29         and boot you computer from the CD, or install a free emulator like <a
30           href="http://virtualbox.org">virtualbox</a> and boot a virtual
31         machine from the CD image. Virtualbox is available for Mac OS X,
32         Windows and Linux. A short guide to VirtualBox is part of the 
33         <a href="docs/manual/html">Matita manual</a><br/>
34         </dd>
35
36         <dt>.deb package</dt>
37         
38         <dd>Matita is part of the <a
39           href="http://packages.debian.org/source/matita"> Debian archive</a>, you can
40         install it with the following command:<pre>aptitude install matita matita-standard-library</pre>
41         </dd>
42
43         <dt>Sources</dt>
44         
45         <dd>You can download the <a
46           href="FILES/matita_0.5.7.orig.tar.gz">sources</a> of Matita (around 2 MB, md5sum:
47 1ac14d26a3d742206b6d063f4e2d7038  
48         )
49         and
50         build it by yourself, following the <a
51           href="docs/manual/html/sec_install.html">installation instructions</a>.
52         The build process, due to the high number of external dependency is not
53         trivial, we thus suggest you to try the live CD or the .deb package
54         first.</dd>
55       </dl>
56
57       <h2>License<a name="license"></a></h2>
58       <p>
59       All our source code is released under the terms of the <a
60       href="http://www.gnu.org/licenses/gpl.html">GNU General Public
61       Licence</a> and is publically accessible on our <a
62       href="http://subversion.tigris.org">Subversion</a> repository.
63       </p>
64
65       <h2>Subversion repository<a name="repo"></a></h2>
66       <p>
67       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.
68       </p>
69
70       <h2>Nightly builds<a name="nightly"></a></h2>
71       <p>
72       A build of the Debian package is performed every night, and a live CD containing that version also is built.
73       You can <a href="FILES/matita-svnhead.iso">download this experimental live CD</a>, or add the Debian repository
74       to your apt configuration file: 
75       </p>
76       <pre>
77       deb http://matita.cs.unibo.it/DEBIAN ./
78       deb-src http://matita.cs.unibo.it/DEBIAN ./
79       </pre>
80       <p>
81       If you are using Ubuntu Hardy you may want to add these lines to your apt/sources.list file:
82       </p>
83       <pre>
84       deb http://matita.cs.unibo.it/UBUNTU_HARDY ./
85       deb-src http://matita.cs.unibo.it/UBUNTU_HARDY ./
86       </pre>
87       <p>
88       If you are using Ubuntu Intrepid you may want to add these lines to your apt/sources.list file:
89       </p>
90       <pre>
91       deb http://matita.cs.unibo.it/UBUNTU_INTREPID ./
92       deb-src http://matita.cs.unibo.it/UBUNTU_INTREPID ./
93       </pre>
94       
95       <h2>Cluster .cs.unibo.it.<a name="clustercs"></a></h2>
96       <p>
97       The following repository contains the version of Matita installed 
98       in the Ercolani laboratory, currently running Ubuntu Hardy.
99       </p>
100       <pre>
101       deb http://matita.cs.unibo.it/CLUSTERCS ./
102       deb-src http://matita.cs.unibo.it/CLUSTERCS ./
103       </pre>
104
105       <!--#include virtual="bottombar.shtml" -->
106     </div>
107   </body>
108 </html>