--- a/Admin/page/dist-content/packages.content Mon May 09 16:40:37 2005 +0200
+++ b/Admin/page/dist-content/packages.content Tue May 10 06:59:32 2005 +0200
@@ -47,9 +47,7 @@
<p>
<!-- _GP_ setdowncolor("\"#E0E0E0\"") -->
-<div style="text-align: center">
-
-<table border="0" cellspacing="5" cellpadding="4" width="520">
+<table border="0" cellspacing="5" cellpadding="4" width="520" style="margin: 0px auto 0px auto">
<!-- _GP_ downloadhead("Isabelle") -->
<!-- _GP_ download(1, "Sources and documentation", distname . ".tar.gz", "../..") -->
@@ -81,9 +79,8 @@
<!-- _GP_ downloadhead("HOL4 proof terms") -->
<!-- _GP_ download(1, "HOL4 proof terms", "contrib/HOL4-proofs.tar.gz", "../..") -->
+</table>
-</table>
-</div>
<p>
@@ -129,7 +126,7 @@
<A HREF="http://proofgeneral.inf.ed.ac.uk/FAQ">Proof General FAQ</a>
for advice.
-<h3>Further Information</h3>
+<h3>Other platforms</h3>
<p>Although Isabelle is nativly designed for Unix environments
(e.g. Solaris, Linux), it may also run under similar, Unix-like