1.1 --- a/Admin/page/dist-content/packages.content	Thu Sep 28 23:00:55 2000 +0200
     1.2 +++ b/Admin/page/dist-content/packages.content	Fri Sep 29 11:51:42 2000 +0200
     1.3 @@ -13,9 +13,10 @@
     1.4  
     1.5  A <em>minimal</em> Isabelle installation requires only <tt>bash</tt>
     1.6  and <tt>perl</tt> (usually provided by the operating system), and a
     1.7 -suitable implementation of Standard ML (e.g. Poly/ML as provided
     1.8 -below).  A <em>comfortable</em> Isabelle working environment demands
     1.9 -further user interface support, as provided by <a
    1.10 +suitable implementation of Standard ML (e.g. <a
    1.11 +href="http://www.polyml.org">Poly/ML</a> as provided below).  A
    1.12 +<em>comfortable</em> Isabelle working environment demands further user
    1.13 +interface support, as provided by <a
    1.14  href="http://www.proofgeneral.org">Proof General</a> together with the
    1.15  (optional) <a
    1.16  href="http://www.fmi.uni-passau.de/~wedler/x-symbol/">X-Symbol</a>
    1.17 @@ -81,8 +82,10 @@
    1.18  
    1.19  <p>
    1.20  
    1.21 -A typical Linux/x86 site installation of Isabelle/HOL works as follows
    1.22 -(the location <tt>/usr/local</tt> may be changed):
    1.23 +A typical Linux/x86 site installation of Isabelle/HOL works as
    1.24 +follows.  Using GNU <tt>tar</tt> we uncompress and unpack the archives
    1.25 +into the <tt>/usr/local</tt> directory; this location may be changed
    1.26 +to anything appropriate.
    1.27  
    1.28  <p>
    1.29