]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/publications/index.xml
Modified Files:
[helm.git] / helm / mowgli / home / xml / publications / index.xml
index 079c293f3b150a74c67f6d0f36de2a0dbb0fec36..6de834a714157538b3995d0131fe19e21aa5d951 100644 (file)
     <entry file="jep_ws"/>
     <entry file="mscs_gb"/>
     <entry file="tphols2001_apss"/>
+    <entry file="w3c_bl98"/>
+    <entry file="cup_hp91"/>
+    <entry file="cup_hp93"/>
+    <entry file="cc"/>
   </related>
 </publications>