]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/publications/index.xml
The first MOWGLI paper. Many many others will follow.
[helm.git] / helm / mowgli / home / xml / publications / index.xml
index 6de834a714157538b3995d0131fe19e21aa5d951..677cd50c872ec3b0387ca9e8dbeb0c0fb45bdb41 100644 (file)
@@ -10,6 +10,7 @@
 
 <publications>
   <project>
+    <entry file="crimea"/>
   </project>
   <related>
     <entry file="cup_s2"/>