--- 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>";
--- 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>