From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Thu, 10 Nov 2005 11:52:03 +0000 (+0000)
Subject: typos
X-Git-Tag: V_0_7_2_3~96
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e59605d19c6598e833375f41d31e5d0274d0f529;p=helm.git

typos
---

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