diff options
| author | David Aspinall | 2005-05-17 20:06:12 +0000 |
|---|---|---|
| committer | David Aspinall | 2005-05-17 20:06:12 +0000 |
| commit | c9058b248b0fbed4fd9db2c55e8741d645a320d0 (patch) | |
| tree | b15a22082353a70d28afaf1c3ccfe250e41bee23 /doc/ProofGeneral.texi | |
| parent | 744d5d8536863da6fd024d274aead939bbdf06df (diff) | |
Fix menu path to Customize
Diffstat (limited to 'doc/ProofGeneral.texi')
| -rw-r--r-- | doc/ProofGeneral.texi | 6 |
1 files changed, 3 insertions, 3 deletions
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 |