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     <h1><span class="h1">Sources</span></h1>
  10     <p>
  11     Matita has no officiale releases yet.
  12     Still, you can get and build Matita from sources.
  13     All our source code is released under the terms of the GNU General
  14     Public Licence and is publically accessible on our svn repository.
  15     </p>
  16     <p>
  17     To checkout a copy of the sources type:
  18     <pre>
  19     svn co -N svn://mowgli.cs.unibo.it/trunk/helm/software/
  20     svn co svn://mowgli.cs.unibo.it/trunk/helm/software/components
  21     svn co svn://mowgli.cs.unibo.it/trunk/helm/software/matita
  22     </pre>
  23     </p>
  24     <p>
  25     Once you got the sources, have a look at the
  26     <a href="install.html">installation instructions</a> on how to build and
  27     install Matita from sources.
  28     </p>
  29     <!--#include virtual="bottombar.shtml" -->
  30   </body>
  31 </html>
  32 <!-- $Id$ -->