equal
deleted
inserted
replaced
104 <!-- _GP_ href("contrib/x-symbol.tar.gz", "x-symbol.tar.gz") --> <br> |
104 <!-- _GP_ href("contrib/x-symbol.tar.gz", "x-symbol.tar.gz") --> <br> |
105 </tt> |
105 </tt> |
106 |
106 |
107 <p> |
107 <p> |
108 |
108 |
109 The installation may be finished as follows: |
109 Users may now invoke Isabelle without further ado, e.g. run the main |
110 |
110 executable <tt>/usr/local/Isabelle/bin/Isabelle</tt> to launch the |
111 <p> |
|
112 |
|
113 <tt> |
|
114 <!-- _GP_ "cd /usr/local/" . distname --> <br> |
|
115 ./bin/isatool install -p /usr/local/bin <br> |
|
116 </tt> |
|
117 |
|
118 <p> |
|
119 |
|
120 Users can now invoke the Isabelle executables without further ado, |
|
121 e.g. just start the main <tt>Isabelle</tt> executable to lauch the |
|
122 Isabelle Proof General interface. |
111 Isabelle Proof General interface. |
123 |
112 |
124 <p> |
113 <p> |