]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/configuration/AUTHORS
ocaml 3.09 transition
[helm.git] / helm / configuration / AUTHORS
index 963977a6f2d26cf197855a67a80695a4437fff6d..0ceb16fd53f475a3bcc6c1b2041f1fbf3f193ddf 100644 (file)
@@ -1,4 +1,4 @@
 Andrea Asperti <asperti@cs.unibo.it>
-Luca Padovani <lpadovan@cs.unibo.it>
+Luca Padovani <luca.padovani@cs.unibo.it>
 Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
 Irene Schena <schena@cs.unibo.it>