From d12604ffc699a283fa92ec8b6845238d6f2f55af Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 29 Sep 2010 12:17:10 +0000
Subject: Doc

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 894b8592..7bd316f4 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -88,7 +88,7 @@ This uses the size of the hash table for IDIOM."
 ;; Notes on regions in the scripting buffer. (da)
 ;;
 ;; The locked region is covered by a collection of non-overlaping
-;; spans (our abstraction of extents/overlays).
+;; spans (spans are our abstraction of extents/overlays).
 ;;
 ;; For an unfinished proof, there is one extent for each command
 ;; or comment outside a command.   For a finished proof, there
-- 
cgit v1.2.3