From 48fe5f38679c0c99e446a4666199a6d5ab27190c Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 12 Apr 2011 18:39:22 +0000 Subject: typo --- doc/ProofGeneral.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') 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 -- cgit v1.2.3