X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fmatita%2Fmatita.tex;h=d6dae46e74b3d26052a1c08a1cac909a019da4e3;hb=e59605d19c6598e833375f41d31e5d0274d0f529;hp=78b35679cde520f9c77af6d2ee916db0637dd1e4;hpb=f7d04edd37b51a7daa4e372be9439163f92648b6;p=helm.git

diff --git a/helm/papers/matita/matita.tex b/helm/papers/matita/matita.tex
index 78b35679c..d6dae46e7 100644
--- a/helm/papers/matita/matita.tex
+++ b/helm/papers/matita/matita.tex
@@ -32,7 +32,7 @@
 \newcommand{\UWOBO}{UWOBO}
 
 \title{The proof assistant Matita}
-\author{Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen
+\author{Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi
  and Stefano Zacchiroli}
 \institute{Department of Computer Science, University of Bologna\\
  Mura Anteo Zamboni, 7 --- 40127 Bologna, ITALY\\