diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ProofGeneral.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index aa3a58a0..c9b22a3d 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -1830,7 +1830,7 @@ customizing display options. To help configure the options appropriately for document-centred working, -there are two command +there are two commands: @lisp Proof General -> Quick Options -> Display -> Document Centred Proof General -> Quick Options -> Display -> Default |