changeset 15932 | 2c351ab6c403 |
parent 15482 | b3f530e7aa1c |
child 15934 | eb92bebb925e |
--- a/Admin/page/dist-content/packages.content Fri May 06 08:37:39 2005 +0200 +++ b/Admin/page/dist-content/packages.content Fri May 06 11:30:10 2005 +0200 @@ -46,7 +46,7 @@ <p> <!-- _GP_ setdowncolor("\"#E0E0E0\"") --> -<center> +<div style="text-align: center"> <table border="0" cellspacing="5" cellpadding="4" width="520"> @@ -82,7 +82,7 @@ <!-- _GP_ download(1, "HOL4 proof terms", "contrib/HOL4-proofs.tar.gz", "../..") --> </table> -</center> +</div> <p>