]> matita.cs.unibo.it Git - helm.git/blob - helm/www/matita/download.shtml
0.5.1 released
[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.1, released on May 29, 2008. 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         <dd>Coming soon</dd>
22         <!--
23         <dd>The <a href="FILES/matita-0.5.0-1.iso">live CD</a> (around 330
24         MB, md5sum: 6f2ce4830878208f40ebea460308fbb5) 
25         is the easiest way to try Matita. You can burn the CD image
26         and boot you computer from the CD, or install a free emulator like <a
27           href="http://virtualbox.org">virtualbox</a> and boot a virtual
28         machine from the CD image. Virtualbox is available for Mac OS X,
29         Windows and Linux.<br/>
30         </dd>
31         -->
32
33         <dt>.deb package</dt>
34         
35         <dd>Matita is part of the <a
36           href="http://packages.debian.org/source/matita"> Debian archive</a>, you can
37         install it with the following command:<pre>aptitude install matita matita-standard-library</pre>
38         </dd>
39
40         <dt>Sources</dt>
41         
42         <dd>You can download the <a
43           href="FILES/matita_0.5.1.orig.tar.gz">sources</a> of Matita (around 2 MB, md5sum:
44         4a9f141d70238733594c414babdf7f63)
45         and
46         build it by yourself, following the <a
47           href="docs/manual/sec_install.html">installation instructions</a>.
48         The build process, due to the high number of external dependency is not
49         trivial, we thus suggest you to try the live CD or the .deb package
50         first.</dd>
51       </dl>
52
53       <h2>License<a name="license"></a></h2>
54       <p>
55       All our source code is released under the terms of the <a
56       href="http://www.gnu.org/licenses/gpl.html">GNU General Public
57       Licence</a> and is publically accessible on our <a
58       href="http://subversion.tigris.org">Subversion</a> repository.
59       </p>
60
61       <h2>Subversion repository<a name="repo"></a></h2>
62       <p>
63       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.
64       </p>
65
66       <h2>Nightly builds<a name="nightly"></a></h2>
67       <p>
68       A build of the Debian package is performed every night, and a live CD containing that version also is built.
69       You can <a href="FILES/matita-svnhead.iso">download this experimental live CD</a>, or add the Debian repository
70       to your apt configuration file: 
71       </p>
72       <pre>
73       deb http://matita.cs.unibo.it/DEBIAN ./
74       deb-src http://matita.cs.unibo.it/DEBIAN ./
75       </pre>
76
77       <!--#include virtual="bottombar.shtml" -->
78     </div>
79   </body>
80 </html>