]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/people/bologna/guidi.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / people / bologna / guidi.xml
index ace5d05d5362d7411d21af295d74bbb5e01e50b2..a40864b1c90a723d89709351fbb202b8073e6d34 100644 (file)
@@ -8,7 +8,7 @@
  <position>Ph.D. Student</position>
  <e-mail>fguidi@cs.unibo.it</e-mail>
  <url>http://www.cs.unibo.it/~fguidi</url>
- <address>Dipartimento di Scienze dell'Informazione, Via di Mura Anteo Zamboni 7, Bologna, Italy</address>
+ <address>Dipartimento di Scienze dell'Informazione, Mura Anteo Zamboni 7, Bologna, Italy</address>
  <telephone>+39 51 20 94 871</telephone>
  <selected-publication file="others/extreme2001_apss"/>
  <selected-publication file="others/tphols2001_apss"/>