]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/software/index.xml
Warning definitely removed.
[helm.git] / helm / mowgli / home / xml / software / index.xml
1 <?xml version="1.0"?>
2
3 <!DOCTYPE html [
4  <!-- A subset of XHTML -->
5  <!ELEMENT html (head,body)>
6  <!ELEMENT head (title)>
7  <!ELEMENT title (#PCDATA)>
8  <!ELEMENT body (h1|p|br)*>
9  <!ELEMENT h1 (#PCDATA)>
10  <!ELEMENT p (#PCDATA)>
11  <!ELEMENT br EMPTY>
12 ]>
13
14 <html>
15  <head>
16   <title>Software</title>
17  </head>
18
19  <body>
20   <h1>Software</h1>
21
22   <p>Nothing has been released yet. Try later.</p>
23
24   <br/><br/>
25  </body>
26
27 </html>
28