]> 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 e6e52d614f051251fee7b43a44305ca39d75f7f8..d9e3bdba1405bf54991b96ae8d20764d5d97714b 100644 (file)
@@ -1,11 +1,28 @@
 <?xml version="1.0"?>
 
-<content title="Members Area">
+<!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>
+ </head>
+
+ <body>
   <h1>Software</h1>
 
-  Nothing has been released yet. Try later.
+  <p>Nothing has been released yet. Try later.</p>
 
   <br/><br/>
+ </body>
 
-</content>
+</html>