# HG changeset patch
# User wenzelm
# Date 1010871850 -3600
# Node ID c93b2f69b3ba03fee19ee9439b65ab4319f043e6
# Parent  590f5475c53163c2555e8b6cf6eb5a24178e5fe1
tuned;

diff -r 590f5475c531 -r c93b2f69b3ba Admin/page/bin/mkcontents
--- a/Admin/page/bin/mkcontents	Sat Jan 12 22:24:09 2002 +0100
+++ b/Admin/page/bin/mkcontents	Sat Jan 12 22:44:10 2002 +0100
@@ -25,8 +25,8 @@
 $outfile = $ARGV[1];
 
 $fileHeader = "<ul>\n";
-$lineHeader = "  <li> ";
-$lineEnd    = "  </li>\n";
+$lineHeader = "  <li>";
+$lineEnd    = "</li>\n";
 $fileFooter = "</ul>\n";
 
 open(IN, "<$infile") || die "cannot read input file <$infile>";
diff -r 590f5475c531 -r c93b2f69b3ba Admin/page/dist-content/packages.content
--- a/Admin/page/dist-content/packages.content	Sat Jan 12 22:24:09 2002 +0100
+++ b/Admin/page/dist-content/packages.content	Sat Jan 12 22:44:10 2002 +0100
@@ -32,14 +32,9 @@
 We provide a complete set of packages for Isabelle, Proof General and
 X-Symbol.  While XEmacs-21 is not included here, most operating system
 distributions already provide a suitable package, although not
-installed by default.
-
-<p>
-
-Some of the packages below are platform dependent.  We include binary
-packages for Linux/x86, Solaris/Sparc, and Darwin/PPC (MacOS X).
-Isabelle also works with different Standard ML implementations (and
-further platforms).
+installed by default.  Some of the packages below are platform
+dependent; we include binaries for Linux/x86, Solaris/Sparc, and
+Darwin/PPC (MacOS X).
 
 <p>
 
@@ -87,10 +82,10 @@
 
 <p>
 
-A typical Linux/x86 site installation of Isabelle/HOL would be
-arranged as follows.  By using GNU <tt>tar</tt>, the archives are
-uncompressed and unpacked into the <tt>/usr/local</tt> directory (this
-location may be changed to anything appropriate).
+A typical Linux/x86 site installation of Isabelle/HOL works as
+follows.  By using GNU <tt>tar</tt>, the archives are uncompressed and
+unpacked into the <tt>/usr/local</tt> directory (this location may be
+changed to anything appropriate).
 
 <p>