Admin/page/dist-content/packages.content
changeset 10116 7e16b36c004f
parent 10115 99890c2c3d82
child 10162 947b7b8b0a69
equal deleted inserted replaced
10115:99890c2c3d82 10116:7e16b36c004f
    81 the default settings of Isabelle.
    81 the default settings of Isabelle.
    82 
    82 
    83 <p>
    83 <p>
    84 
    84 
    85 A typical Linux/x86 site installation of Isabelle/HOL works as
    85 A typical Linux/x86 site installation of Isabelle/HOL works as
    86 follows.  Using GNU <tt>tar</tt> we uncompress and unpack the archives
    86 follows.  By using GNU <tt>tar</tt>, the archives are uncompressed and
    87 into the <tt>/usr/local</tt> directory; this location may be changed
    87 unpacked into the <tt>/usr/local</tt> directory (this location may be
    88 to anything appropriate.
    88 changed to anything appropriate).
    89 
    89 
    90 <p>
    90 <p>
    91 
    91 
    92 <tt>
    92 <tt>
    93 &nbsp;&nbsp; tar -C /usr/local -xzf
    93 &nbsp;&nbsp; tar -C /usr/local -xzf