From: Enrico Tassi Date: Thu, 6 Apr 2006 11:00:19 +0000 (+0000) Subject: fixed typo X-Git-Tag: make_still_working~7428 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=40b52b5c45dddd534c3764645647e8ce9ca48024;p=helm.git fixed typo --- diff --git a/helm/www/matita/developers.shtml b/helm/www/matita/developers.shtml index ffdf7616c..e561e9b96 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