From a03dc31801972cbcff38035a30711da34d66ed78 Mon Sep 17 00:00:00 2001
From: Lawrence Dunn
Date: Thu, 2 Apr 2020 12:56:27 -0400
Subject: Correct documentation

---
 doc/ProofGeneral.texi | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 699b304b..5f1e8231 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -924,8 +924,7 @@ example in Isabelle with semi-colons, but these will not appear in the
 final text.
 
 Coq, on the other hand, requires a full-stop terminator at the end of
-each line, so @kbd{C-c .} is the key binding used to turn on
-electric terminator.  If you don't know what the terminator character
+each line. If you don't know what the terminator character
 is, you can find the option anyway on the menu:
 @code{Proof-General -> Quick Options -> Processing -> Electric Terminator}
 which also shows the key binding.
-- 
cgit v1.2.3