From e59605d19c6598e833375f41d31e5d0274d0f529 Mon Sep 17 00:00:00 2001
From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Thu, 10 Nov 2005 11:52:03 +0000
Subject: [PATCH] typos

---
 helm/papers/matita/matita.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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\\
-- 
2.39.2