]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/software/index.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / software / index.xml
index 2f973b3cafe47e7de6dfda2349d3f1f439eb1f91..d9e3bdba1405bf54991b96ae8d20764d5d97714b 100644 (file)
@@ -1,5 +1,16 @@
 <?xml version="1.0"?>
 
+<!DOCTYPE html [
+ <!-- A subset of XHTML -->
+ <!ELEMENT html (head,body)>
+ <!ELEMENT head (title)>
+ <!ELEMENT title (#PCDATA)>
+ <!ELEMENT body (h1|p|br)*>
+ <!ELEMENT h1 (#PCDATA)>
+ <!ELEMENT p (#PCDATA)>
+ <!ELEMENT br EMPTY>
+]>
+
 <html>
  <head>
   <title>Software</title>
@@ -8,7 +19,7 @@
  <body>
   <h1>Software</h1>
 
-  Nothing has been released yet. Try later.
+  <p>Nothing has been released yet. Try later.</p>
 
   <br/><br/>
  </body>