--- a/Admin/website/installation.html Tue Sep 27 15:30:37 2005 +0200
+++ b/Admin/website/installation.html Tue Sep 27 16:28:11 2005 +0200
@@ -100,7 +100,21 @@
<code>-x</code> command line option, or the
<em>Options</em> menu.
</li>
- </ul>
+
+ <li>Isabelle may also be run without ProofGeneral, as a
+ plain shell process as follows:
+ <ul class="shellcmd">
+ <li>/usr/local/Isabelle/bin/isabelle-process -I</li>
+ </ul>
+ Type CTRL-D to exit.
+
+ If the above does not work at all, maybe you are
+ suffering from a known problem of Poly/ML on certain
+ Linux versions, see also <a
+ href="http://www.polyml.org/linuxsegfault.html">Segmentation
+ faults with Linux</a> on the Poly/ML site.
+
+ </li> </ul>
<h2 id="install_darwin">MaxOS X / Darwin</h2>