X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fpublications%2Findex.xml;h=7ea341ef1be6d8aed9167b0519fc2d52f70f081d;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=079c293f3b150a74c67f6d0f36de2a0dbb0fec36;hpb=043dffb651772925787bfcc5570cf05cd41d994a;p=helm.git

diff --git a/helm/mowgli/home/xml/publications/index.xml b/helm/mowgli/home/xml/publications/index.xml
index 079c293f3..7ea341ef1 100644
--- a/helm/mowgli/home/xml/publications/index.xml
+++ b/helm/mowgli/home/xml/publications/index.xml
@@ -10,6 +10,7 @@
 
 <publications>
   <project>
+    <entry file="crimea2002_aw"/>
   </project>
   <related>
     <entry file="cup_s2"/>
@@ -26,6 +27,10 @@
     <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>