helm/www/matita/download.shtml

   1 <!-- $Id$ -->
   2 <!--#include virtual="xhtml-header.shtml" -->
   3 <html>
   4   <head>
   5     <title>Matita - Download</title>
   6     <!--#include virtual="xhtml-meta.shtml" -->
   7   </head>
   8   <body>
   9     <!--#include virtual="menubar.shtml" -->
  10     <div class="main">
  11       <h1>Download Matita!</h1>
  12
  13       <h2>Releases<a name="releases"></a></h2>
  14       <p>
  15       Matita has no official releases yet.
  16       </p>
  17
  18       <h2>License<a name="license"></a></h2>
  19       <p>
  20       All our source code is released under the terms of the <a
  21       href="http://www.gnu.org/licenses/gpl.html">GNU General Public
  22       Licence</a> and is publically accessible on our <a
  23       href="http://subversion.tigris.org">Subversion</a> repository.
  24       </p>
  25
  26       <h2>Subversion repository<a name="repo"></a></h2>
  27       <p>
  28       You can <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&amp;path=%2F&amp;sc=0">browse our svn repository</a> directly on the web.
  29       </p>
  30       <p>
  31       To checkout a copy of the sources type:
  32       </p>
  33       <p>
  34       <kbd>svn co -N svn://mowgli.cs.unibo.it/trunk/helm/software/</kbd><br />
  35       <kbd>cd software/</kbd><br />
  36       <kbd>svn co svn://mowgli.cs.unibo.it/trunk/helm/software/components</kbd><br />
  37       <kbd>svn co svn://mowgli.cs.unibo.it/trunk/helm/software/matita</kbd><br />
  38       </p>
  39       <p>
  40       Once you got the sources, have a look at the
  41       <a href="docs/manual/sec_install.html">installation instructions</a> on
  42       how to build and install Matita from sources.
  43       </p>
  44       <!--#include virtual="bottombar.shtml" -->
  45     </div>
  46   </body>
  47 </html>