diff options
| author | David Aspinall | 1999-07-03 17:33:19 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-07-03 17:33:19 +0000 |
| commit | 113052b13e29a67b4fe4221e8bf772ad813ebfb7 (patch) | |
| tree | 4ba60917ae7f04b5037b1d86ebe3acf50240f10c /html/main.phtml | |
| parent | 7e68d347a1c2a5e26b10b2225d4dfda5a3e0ca77 (diff) | |
Tweaks and validation fixes.
Diffstat (limited to 'html/main.phtml')
| -rw-r--r-- | html/main.phtml | 11 |
1 files changed, 5 insertions, 6 deletions
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 |