]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/consortium.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / consortium.xml
index 99cd1bea9d2527988e00783e244fa7b7397e8a6b..c21af1537e1c8b253a0eeca345f3207d5b676626 100644 (file)
@@ -5,11 +5,11 @@
  <!ELEMENT site EMPTY>
  <!ATTLIST site
            file CDATA #REQUIRED>
- <!ELEMENT description (p|dl|ul)+>
+ <!ELEMENT description (p|dl|ul|ol)+>
 
  <!-- 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>
@@ -17,6 +17,7 @@
  <!ELEMENT dt (#PCDATA)>
  <!ELEMENT dd (#PCDATA)>
  <!ELEMENT ul (li)+>
+ <!ELEMENT ol (li)+>
  <!ELEMENT li (#PCDATA)>
 ]>
 
      information from standard digital repositories by means of a suitable
      LaTeX-based authoring system will be explored by the Albert
      Einstein Institute (AEI) in Golm (Germany). AEI publishes a solely
-     electronic review journal, <I>Living Reviews in Relativity</I> on
+     electronic review journal, <em>Living Reviews in Relativity</em> on
      the Web, which provides refereed, regularly updated review
      articles on all areas of gravitational physics. Since its
      release in January 1998 the journal has become a primary
      evaluation of the code and in accordance with the Common Criteria
      standard.</p>
   <p>A third pilot application is the semantic markup of the Journal
-     <I>Living Reviews in Relativity</I> published by AEI-Golm,
+     <em>Living Reviews in Relativity</em> published by AEI-Golm,
      already mentioned above.</p>
  </description>
 </consortium>