equal
deleted
inserted
replaced
98 The X-Symbol package is already included in Proof |
98 The X-Symbol package is already included in Proof |
99 General, but needs to be enabled separately; use the |
99 General, but needs to be enabled separately; use the |
100 <code>-x</code> command line option, or the |
100 <code>-x</code> command line option, or the |
101 <em>Options</em> menu. |
101 <em>Options</em> menu. |
102 </li> |
102 </li> |
103 </ul> |
103 |
|
104 <li>Isabelle may also be run without ProofGeneral, as a |
|
105 plain shell process as follows: |
|
106 <ul class="shellcmd"> |
|
107 <li>/usr/local/Isabelle/bin/isabelle-process -I</li> |
|
108 </ul> |
|
109 Type CTRL-D to exit. |
|
110 |
|
111 If the above does not work at all, maybe you are |
|
112 suffering from a known problem of Poly/ML on certain |
|
113 Linux versions, see also <a |
|
114 href="http://www.polyml.org/linuxsegfault.html">Segmentation |
|
115 faults with Linux</a> on the Poly/ML site. |
|
116 |
|
117 </li> </ul> |
104 |
118 |
105 <h2 id="install_darwin">MaxOS X / Darwin</h2> |
119 <h2 id="install_darwin">MaxOS X / Darwin</h2> |
106 |
120 |
107 <p>Ensure that your system provides the following:</p> |
121 <p>Ensure that your system provides the following:</p> |
108 <ul> |
122 <ul> |