From a39068100a0c8dcb331e6168cc7ffdd50bab161d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 4 Sep 2001 16:36:38 +0000
Subject: Nested proof spans are duplicable

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

(limited to 'generic')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index e1285c2d..8f381e7c 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -503,6 +503,7 @@ Names must be unique for a given "
   (set-span-property span 'type 'proof)
   (set-span-property span 'idiom 'proof)
   (set-span-property span 'controlspan controlspan)
+  (set-span-property span 'duplicable t)
   ;; (set-span-property span 'context-menu (pg-proof-element-menu name))
   (pg-set-span-helphighlights span 'nohighlight)
   (if proof-disappearing-proofs 
-- 
cgit v1.2.3