]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/people/nijmegen/synek.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / people / nijmegen / synek.xml
index 4861a69914dd3eeea6a548f0f576f3b9bc8210bc..a23063708966a321be8b60c821dd873693d0f833 100644 (file)
@@ -6,6 +6,6 @@
  <name>Dan</name>
  <surname>Synek</surname>
  <position>Programmer, Nijmegen</position>
- <e-mail>???</e-mail>
- <url>???</url>
+ <e-mail>synek@cs.kun.nl</e-mail>
+ <url>http://www.cs.kun.nl/~synek</url>
 </person>