]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/work-packages/work-package.dtd
* <I> ==> <em> everywhere
[helm.git] / helm / mowgli / home / xml / work-packages / work-package.dtd
index 30d218b036fe04426c046387befd1629a450cb34..57650a3889cb7668f239251a9170746d61be2582 100644 (file)
@@ -34,8 +34,8 @@
 <!ELEMENT milestones (p|dl|ul)*>
 
 <!-- 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
           href CDATA #REQUIRED>