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
  15     <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&amp;path=%2F&amp;sc=0">svn repository</a>.
  16     Go there and download the tarball of the
  17     <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&amp;path=%2Ftrunk%2Fhelm%2Fsoftware%2Fcomponents%2F&amp;rev=0&amp;sc=0"><kbd>components/</kbd></a>
  18     on which Matita is built and of
  19     <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&amp;path=%2Ftrunk%2Fhelm%2Fsoftware%2Fmatita%2F&amp;rev=0&amp;sc=0"><kbd>matita/</kbd></a>
  20     itself.
  21     </p>
  22     <p>
  23     Once you got the sources, have a look at the
  24     <a href="install.html">installation instructions</a> on how to build and
  25     install Matita from sources.
  26     </p>
  27     <!--#include virtual="bottombar.shtml" -->
  28   </body>
  29 </html>
  30 <!-- $Id$ -->