]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 2f46121)
Added header
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 Jan 2006 09:29:21 +0000 (09:29 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 Jan 2006 09:29:21 +0000 (09:29 +0000)
helm/matita_homepage/documentation.html patch | blob | history

diff --git a/helm/matita_homepage/documentation.html b/helm/matita_homepage/documentation.html
index d042a758d0afce53ddc88c8314a91eb84d956bd5..52878708424012658840df0787b5ea7ea1404eda 100644 (file)
--- a/helm/matita_homepage/documentation.html
+++ b/helm/matita_homepage/documentation.html
@@ -6,7 +6,50 @@
  </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>
+
+         </td>
+       </tr>
+
+      </table>
+   
+    </font>
   </body>
 
 </html>
Unnamed repository; edit this file 'description' to name the repository.