# HG changeset patch
# User wenzelm
# Date 1127831291 -7200
# Node ID 25d8a4586836a6ad99f878fc9efd0bbda3412ac8
# Parent  e9e341bc7d42fc12a8d0fd6a81b1d52938d3aac0
warn about Poly/ML segfault problem;

diff -r e9e341bc7d42 -r 25d8a4586836 Admin/website/installation.html
--- 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>