]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/people/nijmegen/wiedijk.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / people / nijmegen / wiedijk.xml
index 7aec7ad04b01cba2fe92978d2d1898bc0bdd8307..1244fe68834d90d1e5765a3c2bf62f0938810f26 100644 (file)
@@ -4,9 +4,9 @@
 
 <person>
  <name>Freek</name>
- <surname>Widijk</surname>
+ <surname>Wiedijk</surname>
  <qualification>Dr.</qualification>
  <position>Post Doc Researcher, Nijmegen</position>
- <e-mail>???</e-mail>
- <url>???</url>
+ <e-mail>freek@cs.kun.nl</e-mail>
+ <url>http://www.cs.kun.nl/~freek</url>
 </person>