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