]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/sites/site.dtd
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / sites / site.dtd
index 36a40eeb3903adeef00e7f8d3fbfbff161c28211..ce43fddc053884fcb28327db9c40092422ce06d7 100644 (file)
           file CDATA #REQUIRED>
 
 <!-- A subset of XHTML -->
-<!ELEMENT p (#PCDATA|I|a)*>
-<!ELEMENT I (#PCDATA)>
+<!ELEMENT p (#PCDATA|em|a)*>
+<!ELEMENT em (#PCDATA)>
 <!ELEMENT a (#PCDATA)>
 <!ATTLIST a
+          target CDATA #IMPLIED
           href CDATA #REQUIRED>
 <!ELEMENT dl (dt|dd)+>
 <!ELEMENT dt (#PCDATA)>