]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/people/nijmegen/cruz-filipe.xml
Missing informations filled in.
[helm.git] / helm / mowgli / home / xml / people / nijmegen / cruz-filipe.xml
index febda7158a75d57fd181645cfc1ab03695e701c0..7398ea2d7649d79d525665bf96d3cf8ad19cd5eb 100644 (file)
@@ -6,6 +6,6 @@
  <name>Luiz</name>
  <surname>Crus-Filipe</surname>
  <position>Ph.D. Student, Nijmegen</position>
- <e-mail>???</e-mail>
- <url>???</url>
+ <e-mail>lcf@cs.kun.nl</e-mail>
+ <url>http://www.cs.kun.nl/~lcf</url>
 </person>