From 710e27c7d9031df0a14727487c83fb6ec974e883 Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Wed, 8 Jun 2011 08:10:31 +0000
Subject: - fix for #408: Only use the buffer name in  
 coq-compile-response-buffer - fix typo elsewhere

---
 generic/proof-script.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index e6a2a65e..c503b336 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2205,7 +2205,7 @@ Before the retraction is calculated, we enforce the file-level
 protocol with `proof-activate-scripting'.  This has a couple
 of effects:
 
-1. If the file is is completely processed, we have to re-open it
+1. If the file is completely processed, we have to re-open it
 for scripting again which may involve retracting
 other (dependent) files.
 
-- 
cgit v1.2.3