diff options
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 |