X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdevelopers.shtml;h=c494b6ecb05547090448d64657b04b7130581265;hb=097487efb60f77326ea3959db169be9ee6c40da1;hp=ffdf7616c18b7452c8b2ff865210a8add35ea431;hpb=9e5aca768e23c9e0b555d3010c924264a1b920d0;p=helm.git
diff --git a/helm/www/matita/developers.shtml b/helm/www/matita/developers.shtml
index ffdf7616c..c494b6ecb 100644
--- a/helm/www/matita/developers.shtml
+++ b/helm/www/matita/developers.shtml
@@ -7,7 +7,7 @@
- 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
HELM Project. 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
@@ -16,7 +16,7 @@
Current team members
@@ -24,7 +24,7 @@
Former members