X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Finterface%2FAUTHORS;h=153b3df9ced583eb4f5bea2873ba36527cc3b6e3;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=963977a6f2d26cf197855a67a80695a4437fff6d;hpb=7f3a235e11d077b83e0f9293e5e7612db450ae33;p=helm.git

diff --git a/helm/interface/AUTHORS b/helm/interface/AUTHORS
index 963977a6f..153b3df9c 100644
--- a/helm/interface/AUTHORS
+++ b/helm/interface/AUTHORS
@@ -1,4 +1,3 @@
 Andrea Asperti <asperti@cs.unibo.it>
 Luca Padovani <lpadovan@cs.unibo.it>
 Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
-Irene Schena <schena@cs.unibo.it>