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     <!--#include virtual="bottombar.shtml" -->
  23   </body>
  24 </html>
  25 <!-- $Id$ -->