# HG changeset patch
# User wenzelm
# Date 969899148 -7200
# Node ID 6f07d9850141f7930615e3c078f695cdf1ff0f31
# Parent  c9026e2420a1c693bc96a7c6f2f6132e2e01998c
tuned;

diff -r c9026e2420a1 -r 6f07d9850141 Admin/page/dist-content/packages.content
--- a/Admin/page/dist-content/packages.content	Mon Sep 25 16:51:34 2000 +0200
+++ b/Admin/page/dist-content/packages.content	Mon Sep 25 18:25:48 2000 +0200
@@ -14,12 +14,8 @@
 A <em>minimal</em> Isabelle installation requires only <tt>bash</tt>
 and <tt>perl</tt> (usually provided by the operating system), and a
 suitable implementation of Standard ML (e.g. Poly/ML as provided
-below).
-
-<p>
-
-A <em>comfortable</em> Isabelle working environment demands further
-user interface support, as provided by <a
+below).  A <em>comfortable</em> Isabelle working environment demands
+further user interface support, as provided by <a
 href="http://www.dcs.ed.ac.uk/home/proofgen/">Proof General</a>
 together with the (optional) <a
 href="http://www.fmi.uni-passau.de/~wedler/x-symbol/">X-Symbol</a>
@@ -28,20 +24,24 @@
 
 <p>
 
-Below we offer tuned distributions of Proof General and X-Symbol, such
-that <em>no manual configuration</em> is required when used with
-Isabelle.  (In case that the original distributions are used instead,
-refer to their included instructions for the installation details.)
-Note that XEmacs-21 is not included here -- most operating system
+We provide ready-to-go packages for Isabelle, Proof General and
+X-Symbol.  While XEmacs-21 is not included here, most operating system
 distributions already provide suitable packages, although not
 installed by default.
 
 <p>
 
+Following the example installation procedures below, there is
+<em>no</em> separate configuration required of any of these
+components.  After installation, users may invoke the Isabelle
+executables without further ado.
+
+<p>
+
 
 <h2>(1) Linux/x86 systems with RPM</h2>
 
-This version of the <!-- _GP_ distname --> distribution is for
+This version of the <!-- _GP_ distname --> distribution is for generic
 Linux/x86 systems with RPM package management, as used by most Linux
 distributions.  Note that <tt>rpm</tt> requires root user access for
 installation.
@@ -84,11 +84,11 @@
 <p>
 
 
-<h2>(2) Generic Linux/x86 or Solaris/Sparc systems</h2>
+<h2>(2) Other Linux/x86 or Solaris/Sparc systems</h2>
 
 The following <!-- _GP_ distname --> distribution works for any
 Linux/x86 or Solaris/Sparc system.  Installation does not rely on
-package management.
+package management at all.
 
 <p>