]> matita.cs.unibo.it Git - helm.git/commitdiff
fixed english
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 10 May 2008 11:54:26 +0000 (11:54 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 10 May 2008 11:54:26 +0000 (11:54 +0000)
helm/www/matita/download.shtml

index 89859bd969296f207e8a163f01ab1d75387fe564..0ff04d36068fecb927608886db6ed43cbd99ed99 100644 (file)
@@ -12,7 +12,7 @@
 
       <h2>Releases<a name="releases"></a></h2>
       <p>
-      The current release is version 0.5.0, released on May 10, 2008.
+      The current version is 0.5.0, released on May 10, 2008.
       </p>
       <dl>
         <dt>Live CD</dt>