From 570bf3167db7750059139d0d56be8a8868a43013 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 19 May 2006 08:24:02 +0000
Subject: [PATCH] fixed typo

---
 helm/www/matita/download.shtml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index 0b20d00af..d780ab156 100644
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -8,7 +8,7 @@
     <!--#include virtual="menubar.shtml" -->
     <h1><span class="h1">Sources</span></h1>
     <p>
-    Matita has no officiale releases yet.
+    Matita has no official releases yet.
     Still, you can get and build Matita from sources.
     All our source code is released under the terms of the GNU General
     Public Licence and is publically accessible on our svn repository.
-- 
2.39.2