From 187dab3bf76db53760c27efbb5a9b9a97a94dbbd Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 13 Jun 2006 10:21:28 +0000 Subject: [PATCH 1/1] reordered author list --- helm/software/matita/help/C/matita.xml | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/helm/software/matita/help/C/matita.xml b/helm/software/matita/help/C/matita.xml index 89d9ee658..96e5aa44a 100644 --- a/helm/software/matita/help/C/matita.xml +++ b/helm/software/matita/help/C/matita.xml @@ -69,6 +69,13 @@
sacerdot@cs.unibo.it
+ + Ferruccio + Guidi + +
fguidi@cs.unibo.it
+
+
Enrico Tassi @@ -83,13 +90,6 @@
zacchiro@cs.unibo.it
- - Ferruccio - Guidi - -
fguidi@cs.unibo.it
-
-
-- 2.39.2