diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-09-29 12:17:10 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-09-29 12:17:10 +0000 |
commit | d12604ffc699a283fa92ec8b6845238d6f2f55af (patch) | |
tree | 59635358df96465147ec2641fbe1170bb8413cfa /generic/proof-script.el | |
parent | 41e9a3ab9442637ed77b4d33525fe451ad8e1472 (diff) |
Doc
Diffstat (limited to 'generic/proof-script.el')
-rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 |