]> matita.cs.unibo.it Git - helm.git/commitdiff
fixed typo
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 19 May 2006 08:24:02 +0000 (08:24 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 19 May 2006 08:24:02 +0000 (08:24 +0000)
helm/www/matita/download.shtml

index 0b20d00af513a9fa0af380e0b0fb8ee4149d7a8f..d780ab156835dca322a935fd72a1743ef4540dc4 100644 (file)
@@ -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.