(dis)organized web stuff

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

deleted file mode 100644 (file)

index 41c6340..0000000
--- a/helm/matita_homepage/download.html
+++ /dev/null
@@ -1,58 +0,0 @@
-<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>