]> matita.cs.unibo.it Git - helm.git/blob - helm/www/matita1.0/download.shtml
- natural numbers with infinity for lambdadelta
[helm.git] / helm / www / matita1.0 / 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.8, released on January 8, 2010. 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.8.iso">live CD</a> (around 530
25         MB, md5sum: 
26 9a6912765eacaaa7f96d7d6d6b34add5
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</pre>
41         </dd>
42
43         <dt>Sources</dt>
44         
45         <dd>You can download the <a
46           href="FILES/matita-0.5.8.orig.tar.gz">sources</a> of Matita (around 6 MB, md5sum:
47 125223d3dc522c4ac063a66f5d46df69 
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 is also 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       
81       <h2>Cluster .cs.unibo.it.<a name="clustercs"></a></h2>
82       <p>
83       The following repository contains the version of Matita installed 
84       in the Ercolani laboratory, currently running Ubuntu Jaunty.
85       </p>
86       <pre>
87       deb http://matita.cs.unibo.it/CLUSTERCS ./
88       deb-src http://matita.cs.unibo.it/CLUSTERCS ./
89       </pre>
90       <p>
91       The same version is also available for Ubuntu Hardy (LTS)
92       </p>
93       <pre>
94       deb http://matita.cs.unibo.it/UBUNTU_HARDY ./
95       deb-src http://matita.cs.unibo.it/UBUNTU_HARDY ./
96       </pre>
97
98
99       <!--#include virtual="bottombar.shtml" -->
100     </div>
101   </body>
102 </html>