helm/www/matita/download.shtml

   1 <!--#include virtual="xhtml-header.shtml" -->
   2 <html>
   3   <head>
   4     <title>Matita home page - download</title>
   5     <link type="text/css" rel="stylesheet" href="style.css"/>
   6   </head>
   7   <body>
   8     <!--#include virtual="menubar.shtml" -->
   9     <div class="main">
  10       <h1>Download Matita!</h1>
  11       <h2>Sources</h2>
  12       <p>
  13       Matita has no official releases yet.
  14       Still, you can get and build Matita from sources.
  15       All our source code is released under the terms of the GNU General
  16       Public Licence and is publically accessible on our svn repository.
  17       </p>
  18       <p>
  19       To checkout a copy of the sources type:
  20     <pre>
  21     svn co -N svn://mowgli.cs.unibo.it/trunk/helm/software/
  22     cd software
  23     svn co svn://mowgli.cs.unibo.it/trunk/helm/software/components
  24     svn co svn://mowgli.cs.unibo.it/trunk/helm/software/matita
  25     </pre>
  26       </p>
  27       <p>
  28       Once you got the sources, have a look at the
  29       <a href="install.html">installation instructions</a> on how to build and
  30       install Matita from sources.
  31       </p>
  32     </div>
  33     <!--#include virtual="bottombar.shtml" -->
  34   </body>
  35 </html>
  36 <!-- $Id$ -->