From 846835efe8d72b743fa0305ebe588d3bf4667ca6 Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Mon, 14 Feb 2011 14:58:45 +0000
Subject: put coq compilation feature into coq settings menu

---
 generic/proof-shell.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 65c94d59..c70c4eaa 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -46,8 +46,8 @@ SPAN is a region in the sources, where COMMANDS come from. Often,
 additional properties are recorded as properties of SPAN.
 
 COMMANDS is a list of strings, holding the text to be send to the
-prover. It might be the empty list is nothing needs to be sent to
-the prover, such as, for instance, for comments. Usually COMMANDS
+prover. It might be the empty list if nothing needs to be sent to
+the prover, such as, for comments. Usually COMMANDS
 contains just 1 string, but it might also contains more elements.
 The text should be obtained with
 `(mapconcat 'identity COMMANDS \" \")', where the last argument
-- 
cgit v1.2.3