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>