From f9eef939814b52977c01e063691bd0f7304d94e9 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 15 Jul 2002 09:29:40 +0000 Subject: Put isa first --- html/main.html | 36 ++++++++++++++++++------------------ 1 file changed, 18 insertions(+), 18 deletions(-) (limited to 'html') diff --git a/html/main.html b/html/main.html index 2c75231b..d6672b96 100644 --- a/html/main.html +++ b/html/main.html @@ -31,22 +31,6 @@ Proof General comes ready-customized for these proof assistants:

- - - - + + + +
- ","The Coq Home Page") ?> - - for - -
-
- By Healfdene Goguen, Patrick Loiseleur, David Aspinall, and - Pierre Courtieu. -
-
+ ","The Coq Home Page") ?> + + for + +
+
+ By Healfdene Goguen, Patrick Loiseleur, David Aspinall, and + Pierre Courtieu. +
+
- ", "The PhoX Home Page") ?> for -
-- cgit v1.2.3