From 40b52b5c45dddd534c3764645647e8ce9ca48024 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 6 Apr 2006 11:00:19 +0000 Subject: [PATCH] fixed typo --- helm/www/matita/developers.shtml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2