A build of the Debian package is performed every night, and a live CD containing that version also is built.
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>
<pre>
deb http://matita.cs.unibo.it/DEBIAN ./
deb-src http://matita.cs.unibo.it/DEBIAN ./
</pre>
- </p>
<!--#include virtual="bottombar.shtml" -->
</div>