]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/matita/documentation.shtml
- all final shtml are now well formed XML documents
[helm.git] / helm / www / matita / documentation.shtml
index 7718cf4ccbb7ec0a98623bbc4feaaa17603d7c81..e0f6c053d80f7173685b51d65a786a9890aa621a 100644 (file)
@@ -1,8 +1,9 @@
+<!-- $Id$ -->
 <!--#include virtual="xhtml-header.shtml" -->
 <html>
   <head>
-    <title>Matita home page - documentation</title>
-    <link type="text/css" rel="stylesheet" href="style.css"/>
+    <title>Matita - Documentation</title>
+    <!--#include virtual="xhtml-meta.shtml" -->
   </head>
   <body>
     <!--#include virtual="menubar.shtml" -->
@@ -23,4 +24,3 @@
     </div>
   </body>
 </html>
-<!-- $Id$ -->