]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/matita/splash.shtml
Patch to make it compile with recent OCaml
[helm.git] / helm / www / matita / splash.shtml
index 9161ad53d483e82f1cda295d43f983965db0de1d..0d45599c36fc569c9b3dab6792cc262e477387b0 100644 (file)
@@ -1,3 +1,4 @@
+<!-- $Id$ -->
 <!--#include virtual="xhtml-header.shtml" -->
 <html>
  <head>
@@ -59,8 +60,7 @@
      <dt id="download">4. Download</dt>
      <dd id="downloadDef"><a href="download.shtml"></a></dd>
     </dl>
-    <div>
+  </div>
   
   </body>
 </html>
-<!-- $Id$ -->