# HG changeset patch
# User kleing
# Date 1115701172 -7200
# Node ID 393cfc7184338f8456dc1f260448ef0a792bd226
# Parent  94e5f157ab098cbc84457bf9827b8092b1fa86cd
table centering, headline 'other platform'

diff -r 94e5f157ab09 -r 393cfc718433 Admin/page/dist-content/packages.content
--- 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