]> 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 6de834a714157538b3995d0131fe19e21aa5d951..7ea341ef1be6d8aed9167b0519fc2d52f70f081d 100644 (file)
@@ -10,6 +10,7 @@
 
 <publications>
   <project>
+    <entry file="crimea2002_aw"/>
   </project>
   <related>
     <entry file="cup_s2"/>