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 @@ -x command line option, or the Options menu. - + +
  • Isabelle may also be run without ProofGeneral, as a + plain shell process as follows: + + 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 Segmentation + faults with Linux on the Poly/ML site. + +
  • MaxOS X / Darwin