]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/news.xml
* news.xml was not valid. DTD fixed.
[helm.git] / helm / mowgli / home / xml / news.xml
index 455f8c289b6f6f9a548eaa7b7da7c63cd6071e77..eeecc24441db523d9edc1603113af623170496ba 100644 (file)
@@ -3,6 +3,12 @@
 <!DOCTYPE news [
  <!ELEMENT news (event*)>
  <!ELEMENT event (date,header?,description,who?)>
+ <!ELEMENT date (#PCDATA)>
+ <!ELEMENT header (#PCDATA)>
+ <!ELEMENT description (#PCDATA)>
+ <!ELEMENT who EMPTY>
+ <!ATTLIST who
+           file CDATA #REQUIRED>
 ]>
 
 <news>
@@ -13,7 +19,7 @@
       Site moved into CVS. XSLT stylesheets are used to generate
       HTML pages from XML sources.
     </description>
-    <who>Claudio Sacerdoti Coen</who>
+    <who file="bologna/sacerdoti"/>
   </event>
   
   <event>
@@ -21,7 +27,7 @@
     <description>
       First Web pages created.
     </description>
-    <who>Luca Padovani</who>
+    <who file="bologna/padovani"/>
   </event>
   
 </news>