From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 19 May 2006 08:24:02 +0000 (+0000)
Subject: fixed typo
X-Git-Tag: make_still_working~7352
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=570bf3167db7750059139d0d56be8a8868a43013;p=helm.git

fixed typo
---

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.