--- a/Admin/page/dist-content/packages.content Tue Feb 01 18:01:57 2005 +0100
+++ b/Admin/page/dist-content/packages.content Wed Feb 02 08:45:14 2005 +0100
@@ -122,6 +122,12 @@
separate option in the Proof General <em>Options</em> menu to enable
X-Symbol.
+<p>
+
+If Emacs appears to hang when the prover process is started, see the
+<A HREF="http://proofgeneral.inf.ed.ac.uk/FAQ">Proof General FAQ</a>
+for advice.
+
<h3>Running Isabelle on Windows</h3>
Windows is not an officially supported platform for runnning Isabelle,