+
+ <h2>Nightly builds<a name="nightly"></a></h2>
+ <p>
+ 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>