]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/matita/download.shtml
valid xml
[helm.git] / helm / www / matita / download.shtml
index be6d715433aa1152b16011240b746be4afb016b8..89859bd969296f207e8a163f01ab1d75387fe564 100644 (file)
       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>