equal
deleted
inserted
replaced
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> |