Added question about saving options

1 files changed, 13 insertions, 1 deletions

diff --git a/FAQ b/FAQ
index 9f16f30f..ff8365a1 100644
--- a/FAQ
+++ b/FAQ
@@ -5,7 +5,15 @@ $Id$
 
 For latest version, see http://zermelo.dcs.ed.ac.uk/~proofgen/ProofGeneral/FAQ
 
-======================
+
+Q. How can I keep the Proof General option settings across sessions?
+
+A. Simply use the ordinary XEmacs menu: Options -> Save Options
+
+   In FSF Emacs, you can do M-x customize-save-customized
+   or use the Custom->Save menu in a customize buffer.
+
+-----------------------------------------------------------------
 
 Q. I'm using Proof General for prover X, then I load a file for prover Y.
    The buffer doesn't enter the mode for prover Y.  Why not?
@@ -15,6 +23,8 @@ A. Unfortunately the architecture of Proof General is designed so
    session.   If you want to run more than one prover at a time,
    you have to run more than one Emacs.
 
+-----------------------------------------------------------------
+
 
 Q. How do I use Proof General for Isabelle/Isar instead of Isabelle classic?
 
@@ -30,6 +40,8 @@ A. There are several ways:
    combined into one, if anyone fancies some elisp hacking...
 
 
+-----------------------------------------------------------------
+
 Q. Can I join any mailing lists for Proof General?
 
 A. Of course, email "majordomo@dcs.ed.ac.uk" with the