From c9058b248b0fbed4fd9db2c55e8741d645a320d0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 17 May 2005 20:06:12 +0000
Subject: Fix menu path to Customize

---
 doc/PG-adapting.texi  | 4 ++--
 doc/ProofGeneral.texi | 6 +++---
 2 files changed, 5 insertions(+), 5 deletions(-)

(limited to 'doc')

diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index f504b488..23f483ec 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -2595,7 +2595,7 @@ constants but which may be nice to tweak.
 
 The first group appears in the menu
 @lisp
-  ProofGeneral -> Customize -> <PA> 
+  ProofGeneral -> Advanced -> Customize -> <PA> 
 @end lisp
 The second group appears in the menu:
 @lisp
@@ -4030,7 +4030,7 @@ Proof General.
 ;;			   (constants, but may be nice to tweak)
 ;;
 ;; The first group appears in the menu
-;;   ProofGeneral -> Customize -> Isabelledemo 
+;;   ProofGeneral -> Advanced -> Customize -> Isabelledemo 
 ;; The second group appears in the menu:
 ;;   ProofGeneral -> Internals -> Isabelledemo config
 ;;
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 866fe0b7..c32c5f8f 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -2161,7 +2161,7 @@ terminology) is controlled by its own customization setting.
 You can display a list of all of them using the customize
 menu: 
 @lisp
-Proof General -> Customize -> Faces -> Proof Faces.
+Proof General -> Advanced -> Customize -> Faces -> Proof Faces.
 @end lisp
 
 
@@ -2491,7 +2491,7 @@ Proof General uses the Emacs customization library to provide a friendly
 interface.  You can access all the customization settings for Proof
 General via the menu:
 @lisp
-   Proof-General -> Customize
+   Proof-General -> Advanced -> Customize
 @end lisp
 
 Using the customize facility is straightforward.  You can select the
@@ -4137,7 +4137,7 @@ If not, you will need to set the appropriate variables.  The easiest way
 to do this (and most other customization of Proof General) is via the
 Customize mechanism, see the menu item:
 @example
-  Proof-General -> Customize -> @var{Name of Assistant} -> Prog Name
+  Proof-General -> Advanced -> Customize -> @var{Name of Assistant} -> Prog Name
 @end example
 The Proof-General menu is available from script buffers after Proof
 General is loaded.  To load it manually, type
-- 
cgit v1.2.3