<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.
+ A build of the Debian package is performed every night, and a live CD containing that version is also 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>