]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/people/bologna/padovani.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / people / bologna / padovani.xml
index 68f4a5bb9d2c925fed6015483090be664bfe8788..6d88775a4a062a88314d588ee300a29d9ffe0c31 100644 (file)
@@ -6,10 +6,10 @@
  <name>Luca</name>
  <surname>Padovani</surname>
  <position>Ph.D. Student</position>
- <position>Member of MathML-WG</position>
+ <position>Member of Math-WG</position>
  <e-mail>lpadovan@cs.unibo.it</e-mail>
  <url>http://www.cs.unibo.it/~lpadovan</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"/>