From 3117ba9ac2f2416e8f246ae777ed03023ba0c924 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 31 Aug 2002 00:11:04 +0000
Subject: Comments

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 0443cd37..67c52088 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -533,7 +533,7 @@ NAME does not need to be unique."
     (set-span-property span 'span-delete-action delfn)
     (set-span-property span 'invisible visname)
     ;; Bad behaviour if span gets copied: unique ID shouldn't be duplicated.
-    (set-span-property span 'duplicable nil)
+    (set-span-property span 'duplicable nil) ;; NB: not supported in Emacs
     ;; Nice behaviour in with isearch: open invisible regions temporarily.
     (set-span-property span 'isearch-open-invisible 
 		       'pg-open-invisible-span)
@@ -2799,7 +2799,7 @@ finish setup which depends on specific proof assistant configuration."
   (or (buffer-file-name)
       (setq buffer-offer-save t))
 
-  ;; Localise the invisibility glyph (XEmacs only:
+  ;; Localise the invisibility glyph (XEmacs only):
   (let ((img (proof-get-image "hiddenproof" t nil)))
     (cond
      ((and img proof-running-on-XEmacs)
-- 
cgit v1.2.3