]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/publications/index.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / publications / index.xml
index 677cd50c872ec3b0387ca9e8dbeb0c0fb45bdb41..7ea341ef1be6d8aed9167b0519fc2d52f70f081d 100644 (file)
@@ -10,7 +10,7 @@
 
 <publications>
   <project>
-    <entry file="crimea"/>
+    <entry file="crimea2002_aw"/>
   </project>
   <related>
     <entry file="cup_s2"/>