]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/members/kick-off.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / members / kick-off.xml
index 5fd4d3e430a8edd1de82dd635c7f49a91cd7ffb5..2b8028f01ad94abf3348bc821835ff4b61415782 100644 (file)
@@ -20,7 +20,7 @@
  <!ELEMENT slides (#PCDATA)>
  <!ATTLIST slides
            file   CDATA #REQUIRED
-           format (PowerPoint|PS|PDF) #REQUIRED>
+           format (PowerPoint|PS|PDF|HTML) #REQUIRED>
 
  <!ELEMENT participant (#PCDATA)>
  <!ATTLIST participant
@@ -90,6 +90,7 @@
   </description>
  </presentation>
  <presentation site="nijmegen" author="geuvers" media="slides">
+  <slides file="mowgligroup.html" format="HTML"/>
   <description>
    Presentation of the work of Nijmegen; why Nijmegen is interested in MOWGLI;
    planned contributions to MOWGLI.