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/PG-adapting.texi | |
parent | 744d5d8536863da6fd024d274aead939bbdf06df (diff) |
Fix menu path to Customize
Diffstat (limited to 'doc/PG-adapting.texi')
-rw-r--r-- | doc/PG-adapting.texi | 4 |
1 files changed, 2 insertions, 2 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 ;; |