)
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,
- href="FILES/matita_0.5.5.orig.tar.gz">sources</a> of Matita (around 2 MB, md5sum:
-e22f3c313f3291400f2912cc24eaa591
+ href="FILES/matita_0.5.7.orig.tar.gz">sources</a> of Matita (around 2 MB, md5sum:
+1ac14d26a3d742206b6d063f4e2d7038
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>
<h2>Cluster .cs.unibo.it.<a name="clustercs"></a></h2>
<p>
The following repository contains the version of Matita installed
<h2>Cluster .cs.unibo.it.<a name="clustercs"></a></h2>
<p>
The following repository contains the version of Matita installed