From 9e5aca768e23c9e0b555d3010c924264a1b920d0 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 6 Feb 2006 18:08:54 +0000 Subject: [PATCH] - 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 --- helm/www/matita/community.shtml | 7 ++++++- helm/www/matita/developers.shtml | 7 +++++++ helm/www/matita/documentation.shtml | 7 ++++++- helm/www/matita/download.shtml | 16 ++++++++++------ helm/www/matita/style.css | 13 ++++++------- 5 files changed, 35 insertions(+), 15 deletions(-) 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