]> matita.cs.unibo.it Git - helm.git/commitdiff
valid xml
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 10 May 2008 11:53:00 +0000 (11:53 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 10 May 2008 11:53:00 +0000 (11:53 +0000)
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>