X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FAUTHORS;h=a2da427a566a64fa0f035bf4bb0924ddba5a2a0c;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=9cf03ca6c295388a7b2d7c12437228b00a7b2abf;hpb=de4be1b51749200158ffb1984d6da3004b3690a9;p=helm.git

diff --git a/helm/matita/AUTHORS b/helm/matita/AUTHORS
index 9cf03ca6c..a2da427a5 100644
--- 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>