1.1 --- a/Admin/page/dist-content/packages.content	Mon Sep 25 16:31:50 2000 +0200
     1.2 +++ b/Admin/page/dist-content/packages.content	Mon Sep 25 16:34:29 2000 +0200
     1.3 @@ -31,8 +31,8 @@
     1.4  Below we offer tuned distributions of Proof General and X-Symbol, such
     1.5  that <em>no manual configuration</em> is required when used with
     1.6  Isabelle.  (In case that the original distributions are used instead,
     1.7 -refer to their included instructions for installation details.)  Note
     1.8 -that XEmacs-21 is not included here -- most operating system
     1.9 +refer to their included instructions for the installation details.)
    1.10 +Note that XEmacs-21 is not included here -- most operating system
    1.11  distributions already provide suitable packages, although not
    1.12  installed by default.
    1.13  
    1.14 @@ -52,19 +52,20 @@
    1.15  <center>
    1.16  <table border="0" cellspacing="5" cellpadding="4" width="520">
    1.17    <!-- _GP_ download("Poly/ML system", "contrib/polyml.i386.rpm", "../..") -->
    1.18 -  <!-- _GP_ download("Isabelle main system", "isabelle.rpm", "../..") -->
    1.19 +  <!-- _GP_ download("Isabelle system", "isabelle.rpm", "../..") -->
    1.20    <!-- _GP_ download("Isabelle/HOL image", "isabelle-HOL.i386.rpm", "../..") -->
    1.21    <!-- _GP_ download("Isabelle/HOL-Real image (optional)", "isabelle-HOL-Real.i386.rpm", "../..") -->
    1.22    <!-- _GP_ download("Isabelle/ZF image (optional)", "isabelle-ZF.i386.rpm", "../..") -->
    1.23    <!-- _GP_ download("Isabelle pdf documentation (optional)", "isabelle-pdfdocs.rpm", "../..") -->
    1.24 -  <!-- _GP_ download("Proof General system (recommended)", "contrib/proofgeneral.rpm", "../..") -->
    1.25 +  <!-- _GP_ download("Proof General (recommended)", "contrib/proofgeneral.rpm", "../..") -->
    1.26    <!-- _GP_ download("X-Symbol package (recommended)", "contrib/xsymbol.rpm", "../..") -->
    1.27  </table>
    1.28  </center>
    1.29  
    1.30  <p>
    1.31  
    1.32 -Example installation in <tt>/usr/share</tt> (the default location):
    1.33 +Example installation procedure (the location of <tt>--prefix
    1.34 +/usr/share</tt> may be changed):
    1.35  
    1.36  <pre>
    1.37  rpm -i --prefix /usr/share polyml.i386.rpm
    1.38 @@ -86,9 +87,8 @@
    1.39  <h2>(2) Generic Linux/x86 or Solaris/Sparc systems</h2>
    1.40  
    1.41  The following <!-- _GP_ distname --> distribution works for any
    1.42 -Linux/x86 or Solaris/Sparc system -- actually only Poly/ML is platform
    1.43 -dependent.  Installation does not rely on package management; it may
    1.44 -be performed by non-root users as well.
    1.45 +Linux/x86 or Solaris/Sparc system.  Installation does not rely on
    1.46 +package management.
    1.47  
    1.48  <p>
    1.49  
    1.50 @@ -98,8 +98,8 @@
    1.51    <!-- _GP_ download("Poly/ML base system", "contrib/polyml_base.tar.gz", "../..") -->
    1.52    <!-- _GP_ download("Poly/ML module for Linux/x86", "contrib/polyml_x86-linux.tar.gz", "../..") -->
    1.53    <!-- _GP_ download("Poly/ML module for Solaris/Sparc", "contrib/polyml_sparc-solaris.tar.gz", "../..") -->
    1.54 -  <!-- _GP_ download("Isabelle main system", distname . ".tar.gz", "../..") -->
    1.55 -  <!-- _GP_ download("Isabelle pdf documentation (optional)", distname . "_pdf.tar.gz", "../..") -->  <!-- _GP_ download("Proof General system (recommended)", "contrib/ProofGeneral.tar.gz", "../..") -->
    1.56 +  <!-- _GP_ download("Isabelle system", distname . ".tar.gz", "../..") -->
    1.57 +  <!-- _GP_ download("Isabelle pdf documentation (optional)", distname . "_pdf.tar.gz", "../..") -->  <!-- _GP_ download("Proof General (recommended)", "contrib/ProofGeneral.tar.gz", "../..") -->
    1.58    <!-- _GP_ download("X-Symbol package (recommended)", "contrib/x-symbol.tar.gz", "../..") -->
    1.59  </table>
    1.60  </center>