]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/other-events.xml
- removed date from menu (useful?)
[helm.git] / helm / mowgli / home / xml / other-events.xml
index bb08528709ad2cb862a211bcb271f16c6017e31c..a0e532818139dfa1871dfc73d409dc2ac55c1565 100644 (file)
   </when>
   <deadline kind="submission">
    <description>Paper Submission</description>
-   <date>20020303</date>
+   <date>20020403</date>
   </deadline>
   <deadline kind="notification">
    <description>Speakers Notified</description>