From 113052b13e29a67b4fe4221e8bf772ad813ebfb7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 3 Jul 1999 17:33:19 +0000
Subject: Tweaks and validation fixes.

---
 html/main.phtml | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

(limited to 'html/main.phtml')

diff --git a/html/main.phtml b/html/main.phtml
index c18f417e..cb845f4b 100644
--- a/html/main.phtml
+++ b/html/main.phtml
@@ -27,10 +27,10 @@ You need a 20.X (or later) version in either case.
 <p>
 Proof General is ready-customized for several proof assistants:
 </p>
-<p>
- <table width=90%>
+
+<table width="90%">
   <tr>
-    <td align="centre">
+    <td align="center">
        <?php hlink("http://pauillac.inria.fr/coq/assis-eng.html",
 		   "<img src=\"images/coq-badge.gif\" width=110 height=35 border=0 alt=\"Coq badge\">","The Coq Home Page") ?>
       </td>
@@ -49,7 +49,7 @@ Proof General is ready-customized for several proof assistants:
     </td>
  </tr>
  <tr>
-    <td align="centre">
+    <td align="center">
        <?php hlink("http://www.dcs.ed.ac.uk/home/lego",
        "<img src=\"images/lego-badge.gif\" width=123 height=33 border=0 alt=\"LEGO badge\">",
        "The LEGO Home Page") ?>
@@ -70,7 +70,7 @@ Proof General is ready-customized for several proof assistants:
     </td>
  </tr>
  <tr>
-   <td align="centre">
+   <td align="center">
        <?php hlink("http://www.cl.cam.ac.uk/Research/HVG/Isabelle/",
       "<img src=\"images/isabelle-badge.gif\" width=128 height=37 border=0 alt=\"Isabelle badge\">",
       "The Isabelle Home Page"); ?>
@@ -92,7 +92,6 @@ Proof General is ready-customized for several proof assistants:
    </td>
  </tr>
 </table>
-</p>
 
 <p>
 To see what Proof General looks like in use, have a look at this
-- 
cgit v1.2.3