ocaml 3.09 transition

[helm.git] / helm / matita / AUTHORS

diff --git a/helm/matita/AUTHORS b/helm/matita/AUTHORS
index 9cf03ca6c295388a7b2d7c12437228b00a7b2abf..a2da427a566a64fa0f035bf4bb0924ddba5a2a0c 100644 (file)
--- a/helm/matita/AUTHORS
+++ b/helm/matita/AUTHORS
@@ -1,4 +1,5 @@
 Andrea Asperti <asperti@cs.unibo.it>
+Luca Padovani <lpadovan@cs.unibo.it>
 Enrico Tassi <tassi@cs.unibo.it>
 Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
 Stefano Zacchiroli <zacchiro@cs.unibo.it>