]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/people/nijmegen/barreiro.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / people / nijmegen / barreiro.xml
index bea79cb956229595afe293eb5238309097a2e0be..ab70ec62d6144e184d556223ef6722e543c498f0 100644 (file)
@@ -6,6 +6,5 @@
  <name>Ernesto Reinaldo</name>
  <surname>Barreiro</surname>
  <position>Ph.D. Student, Eindhoven</position>
- <e-mail>???</e-mail>
- <url>???</url>
+ <e-mail>ereinald@win.tue.nl</e-mail>
 </person>