equal
deleted
inserted
replaced
120 executable <tt>/usr/local/Isabelle/bin/Isabelle</tt> to launch the |
120 executable <tt>/usr/local/Isabelle/bin/Isabelle</tt> to launch the |
121 Proof General interface for Isabelle/Isar. Note that there is a |
121 Proof General interface for Isabelle/Isar. Note that there is a |
122 separate option in the Proof General <em>Options</em> menu to enable |
122 separate option in the Proof General <em>Options</em> menu to enable |
123 X-Symbol. |
123 X-Symbol. |
124 |
124 |
|
125 <p> |
|
126 |
|
127 If Emacs appears to hang when the prover process is started, see the |
|
128 <A HREF="http://proofgeneral.inf.ed.ac.uk/FAQ">Proof General FAQ</a> |
|
129 for advice. |
|
130 |
125 <h3>Running Isabelle on Windows</h3> |
131 <h3>Running Isabelle on Windows</h3> |
126 |
132 |
127 Windows is not an officially supported platform for runnning Isabelle, |
133 Windows is not an officially supported platform for runnning Isabelle, |
128 but a friendly user, Norbert Völker, <a |
134 but a friendly user, Norbert Völker, <a |
129 href="http://cswww.essex.ac.uk/Research/FSS/projects/isawin/">provides |
135 href="http://cswww.essex.ac.uk/Research/FSS/projects/isawin/">provides |