Admin/page/dist-content/packages.content
changeset 11113 8ab6c9093508
parent 11062 e86340dc1d28
child 11568 1ce3771d2b49
equal deleted inserted replaced
11112:2fea4923864f 11113:8ab6c9093508
    76 <h2>Installation</h2>
    76 <h2>Installation</h2>
    77 
    77 
    78 Installation is very easy.  Basically, just unpack all required
    78 Installation is very easy.  Basically, just unpack all required
    79 packages within the same directory.  There is <em>no</em> manual
    79 packages within the same directory.  There is <em>no</em> manual
    80 configuration required of any of these components, if used according
    80 configuration required of any of these components, if used according
    81 the default settings of Isabelle.
    81 to 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.  By using GNU <tt>tar</tt>, the archives are uncompressed and
    86 follows.  By using GNU <tt>tar</tt>, the archives are uncompressed and
   106 
   106 
   107 <p>
   107 <p>
   108 
   108 
   109 Users may now invoke Isabelle without further ado, e.g. run the main
   109 Users may now invoke Isabelle without further ado, e.g. run the main
   110 executable <tt>/usr/local/Isabelle/bin/Isabelle</tt> to launch the
   110 executable <tt>/usr/local/Isabelle/bin/Isabelle</tt> to launch the
   111 Isabelle Proof General interface.
   111 Proof General interface for Isabelle/Isar.
   112 
   112 
   113 <p>
   113 <p>