From 5f29ae4b30a2fb4600877a11286da7f1ba766f0a Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 14 Jul 2002 11:43:42 +0000 Subject: Simplify system infos. --- html/main.html | 62 +++++++++++++++++++++++----------------------------------- 1 file changed, 25 insertions(+), 37 deletions(-) (limited to 'html') diff --git a/html/main.html b/html/main.html index 199b673c..2c75231b 100644 --- a/html/main.html +++ b/html/main.html @@ -42,13 +42,8 @@ Proof General comes ready-customized for these proof assistants: "Coq","The Coq Home Page") ?>
- First crafted by - Healfdene Goguen. -
- Contributions by Patrick Loiseleur. -
- Maintained by - Pierre Courtieu. + By Healfdene Goguen, Patrick Loiseleur, David Aspinall, and + Pierre Courtieu.
@@ -63,53 +58,46 @@ Proof General comes ready-customized for these proof assistants: "Isabelle", "The Isabelle Home Page"); ?>
- Crafted and maintained by - David Aspinall. -
- Additional maintainance, support for - Isabelle/Isar - by - Markus Wenzel. + By + David Aspinall + and + Markus Wenzel.
- ", - "The LEGO Home Page") ?> + ", + "The PhoX Home Page") ?> - for - + for +
- First crafted by Thomas Kleymann - and - Dilip Sequeira. -
- Maintained by - David Aspinall + By + Christophe Raffalli and - Paul Callaghan. + Paul Roziere.
- + ", + "The LEGO Home Page") ?> - for - + for +
- Crafted and maintained by - Christophe Raffalli - and - Paul Roziere. + By Thomas Kleymann, Dilip Sequeira, + David Aspinall + and + Paul Callaghan.
-- cgit v1.2.3