]> 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: 1f982d1)
Added header to all files.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 Jan 2006 09:33:10 +0000 (09:33 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 Jan 2006 09:33:10 +0000 (09:33 +0000)
helm/matita_homepage/community.html patch | blob | history
helm/matita_homepage/documentation.html patch | blob | history
helm/matita_homepage/download.html patch | blob | history

diff --git a/helm/matita_homepage/community.html b/helm/matita_homepage/community.html
index 0115f2d383bafb853d3d7fcf3404db1fb7c600bb..240e4edb751172d902bf2ee035ba6d0c9ec06508 100644 (file)
--- a/helm/matita_homepage/community.html
+++ b/helm/matita_homepage/community.html
@@ -6,7 +6,51 @@
  </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>
+           <br>
+           testo qui
+         </td>
+       </tr>
+
+      </table>
+   
+    </font>
   </body>
 
 </html>
diff --git a/helm/matita_homepage/documentation.html b/helm/matita_homepage/documentation.html
index 52878708424012658840df0787b5ea7ea1404eda..447e8c60cfc393ba26f6211ee7d76ba7f20ff9b9 100644 (file)
--- a/helm/matita_homepage/documentation.html
+++ b/helm/matita_homepage/documentation.html
@@ -43,7 +43,8 @@
 
        <tr>
          <td>
-
+           <br>
+           testo qui
          </td>
        </tr>
 
diff --git a/helm/matita_homepage/download.html b/helm/matita_homepage/download.html
index 82c2d8d4ddfb835be1b67c774490fa26e1e61519..e53796fe877a0b9c2417b767724ab2e902a58690 100644 (file)
--- a/helm/matita_homepage/download.html
+++ b/helm/matita_homepage/download.html
@@ -6,7 +6,51 @@
  </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>
+           <br>
+           testo qui
+         </td>
+       </tr>
+
+      </table>
+   
+    </font>
   </body>
 
 </html>
Unnamed repository; edit this file 'description' to name the repository.