)
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,
</dd>
<dt>.deb package</dt>
<dd>Matita is part of the <a
href="http://packages.debian.org/source/matita"> Debian archive</a>, you can
</dd>
<dt>.deb package</dt>
<dd>Matita is part of the <a
href="http://packages.debian.org/source/matita"> Debian archive</a>, you can
- href="FILES/matita_0.5.4.orig.tar.gz">sources</a> of Matita (around 2 MB, md5sum:
-a338276c63408de78852a914d753a1ca
+ href="FILES/matita_0.5.8.orig.tar.gz">sources</a> of Matita (around 6 MB, md5sum:
+125223d3dc522c4ac063a66f5d46df69
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>
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>
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>