]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 1243f49)
fixed typo
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 6 Apr 2006 11:00:19 +0000 (11:00 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 6 Apr 2006 11:00:19 +0000 (11:00 +0000)
helm/www/matita/developers.shtml patch | blob | history

diff --git a/helm/www/matita/developers.shtml b/helm/www/matita/developers.shtml
index ffdf7616c18b7452c8b2ff865210a8add35ea431..e561e9b96d14f03a0170b8eb3713de14ab1edfea 100644 (file)
--- a/helm/www/matita/developers.shtml
+++ b/helm/www/matita/developers.shtml
@@ -7,7 +7,7 @@
   <body>
     <!--#include virtual="menubar.shtml" -->
     <p>
-    The origin of Matita go back to 1999 and are intertwined with the
+    The origins of Matita go back to 1999 and are intertwined with the
     <a href="http://helm.cs.unibo.it">HELM Project</a>. Since then, a
     lot of people contributed both ideas and source code that have made
     Matita what it looks today. In this page we tried to summarize all
Unnamed repository; edit this file 'description' to name the repository.