helm/matita_homepage/download.html

   1 <html>
   2  <head>
   3   <title>Matita home page - download</title>
   4  </head>
   5  <style>
   6  </style>
   7
   8   <body>
   9     <font size="-1" face="Arial, Helvetica, sans-serif">
  10
  11       <br></br>
  12
  13       <table align=center width=95% cellpadding=4>
  14         <tr>
  15           <td bgcolor="green">
  16
  17             <!-- Matita Header -->
  18             <table bgcolor=#D0FFD0 align=center cellpadding=3 width=100%>
  19               <tr>
  20                 <td align=center>
  21                   <a href=index.html>Matita Home</a>
  22                 </td>
  23
  24                 <td align=center>
  25                   <a href=developers.html>Developers</a>
  26                 </td>
  27
  28                 <td align=center>
  29                   <a href=documentation.html>Documentation</a>
  30                 </td>
  31
  32                 <td align=center>
  33                   <a href=community.html>Community</a>
  34                 </td>
  35
  36                 <td align=center>
  37                   <a href=download.html>Download</a>
  38                 </td>
  39               </tr>
  40             </table>
  41           </td>
  42         </tr>
  43
  44         <tr>
  45           <td>
  46             Since there is no official release, you can browse the svn
  47             repository and get sources of the <a href="http://helm.cs.unibo.it/websvn/dl.php?repname=helm&path=%2Ftrunk%2Fhelm%2Focaml%2F&rev=0&isdir=1">ocaml/</a> and
  48             <a href="http://helm.cs.unibo.it/websvn/dl.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fmatita%2F&rev=0&isdir=1">matita/</a> modules.
  49             <br>
  50           </td>
  51         </tr>
  52
  53       </table>
  54
  55     </font>
  56   </body>
  57
  58 </html>