helm/www/matita/download.html

   1 <html>
   2 <head>
   3         <title>Matita home page - download</title>
   4         <link type="text/css" rel="stylesheet" href="style.css"/>
   5 </head>
   6 <body>
   7         <div class="upmenu">
   8                 <a class="upmenu" href=index.html>Matita Home</a>
   9                 <a class="upmenu" href=developers.html>Developers</a>
  10                 <a class="upmenu" href=documentation.html>Documentation</a>
  11                 <a class="upmenu" href=community.html>Community</a>
  12                 <a class="upmenu" href=download.html>Download</a>
  13         </div>
  14         <h1><span class="h1">Sources</span></h1>
  15         <p>
  16         Since there is no official release, you can browse the svn repository
  17         and get sources of the <a
  18                 href="http://helm.cs.unibo.it/websvn/dl.php?repname=helm&path=%2Ftrunk%2Fhelm%2Focaml%2F&rev=0&isdir=1">ocaml/</a>
  19         and <a
  20                 href="http://helm.cs.unibo.it/websvn/dl.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fmatita%2F&rev=0&isdir=1">matita/</a>
  21         modules.
  22         </p>
  23   </body>
  24
  25 </html>