]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/people/nijmegen/stein.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / people / nijmegen / stein.xml
index cff0c62e5adf25d8ebceba95acf28d3d7b80fd9e..d3d1552abf8bc18acc7dc6aef20cf82d836af33b 100644 (file)
@@ -6,6 +6,6 @@
  <name>Jasper</name>
  <surname>Stein</surname>
  <position>Ph.D. Student, Nijmegen</position>
- <e-mail>???</e-mail>
- <url>???</url>
+ <e-mail>jasper@cs.kun.nl</e-mail>
+ <url>http://www.cs.kun.nl/~jasper</url>
 </person>