(dis)organized web stuff

[helm.git] / helm / www / matita / download.html
diff --git a/helm/www/matita/download.html b/helm/www/matita/download.html

new file mode 100644 (file)

index 0000000..41c6340
--- /dev/null
+++ b/helm/www/matita/download.html
@@ -0,0 +1,58 @@
+<html>
+ <head>
+  <title>Matita home page - download</title>
+ </head>
+ <style>
+ </style>
+
+  <body>
+    <font size="-1" face="Arial, Helvetica, sans-serif">
+
+      <br></br>
+       
+      <table align=center width=95% cellpadding=4>
+       <tr>
+         <td bgcolor="green">
+           
+           <!-- Matita Header -->
+           <table bgcolor=#D0FFD0 align=center cellpadding=3 width=100%>
+             <tr>
+               <td align=center>
+                 <a href=index.html>Matita Home</a>
+               </td>
+  
+               <td align=center>
+                 <a href=developers.html>Developers</a>
+               </td>
+       
+               <td align=center>
+                 <a href=documentation.html>Documentation</a>
+               </td>
+
+               <td align=center>
+                 <a href=community.html>Community</a>
+               </td>
+       
+               <td align=center>
+                 <a href=download.html>Download</a>
+               </td>
+             </tr>
+           </table>
+         </td>
+       </tr>
+
+       <tr>
+         <td>
+           Since there is no official release, you can browse the svn
+           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 
+           <a href="http://helm.cs.unibo.it/websvn/dl.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fmatita%2F&rev=0&isdir=1">matita/</a> modules.
+           <br>
+         </td>
+       </tr>
+
+      </table>
+   
+    </font>
+  </body>
+
+</html>