]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/AUTHORS
debian release 0.4.1-1
[helm.git] / helm / interface / AUTHORS
index 963977a6f2d26cf197855a67a80695a4437fff6d..153b3df9ced583eb4f5bea2873ba36527cc3b6e3 100644 (file)
@@ -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>