]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/people/aei/kelley.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / people / aei / kelley.xml
index d371e8825500a1e99f9e085b882989de1643ccd1..7312782d0849e7a265f21fd7a4fa425545b30b69 100644 (file)
@@ -6,5 +6,5 @@
  <name>Ian</name>
  <surname>Kelley</surname>
  <position>Programmer</position>
- <e-mail>???</e-mail>
+ <e-mail>ikelley@aei-potsdam.mpg.de</e-mail>
 </person>