From: Stefano Zacchiroli Date: Mon, 6 Feb 2006 18:08:54 +0000 (+0000) Subject: - escaped "&" in URLs so that all pages are now XHTML 1.0 Strict valid X-Git-Tag: make_still_working~7617 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9e5aca768e23c9e0b555d3010c924264a1b920d0;p=helm.git - escaped "&" in URLs so that all pages are now XHTML 1.0 Strict valid - expanded a bit the "nothing to see here" concept in the matita web pages --- diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml index 8d284de03..b525e47f6 100644 --- a/helm/www/matita/community.shtml +++ b/helm/www/matita/community.shtml @@ -8,7 +8,12 @@

Miki

- Miki is not yet ready... + We are currently developing + Wiki-like + technologies to support collaborative development of the Matita + library, encouraging people to expand, modify and elaborate previous + contributions. "Miki: a formal Mathematics wIKI" is the + codename of the effort.

diff --git a/helm/www/matita/developers.shtml b/helm/www/matita/developers.shtml index 6b954b74d..ffdf7616c 100644 --- a/helm/www/matita/developers.shtml +++ b/helm/www/matita/developers.shtml @@ -6,6 +6,13 @@ +

+ The origin 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 + of them, we apologize for whom we forgot to mention. +

Current team members