From 2bf4a7f0b3cf660c6b215a3e49d80115409e192e Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 28 Aug 2001 15:53:17 +0000 Subject: Change of proof span type back to goalsave --- phox/phox-fun.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'phox') diff --git a/phox/phox-fun.el b/phox/phox-fun.el index 22d3e717..7592a87e 100644 --- a/phox/phox-fun.el +++ b/phox/phox-fun.el @@ -173,7 +173,7 @@ or for optional argument TABLE." ((eq (span-property span 'type) 'comment)) - ((eq (span-property span 'type) 'proof) + ((eq (span-property span 'type) 'goalsave) (if (proof-string-match phox-prove-claim-regexp str) (setq ans (concat (format phox-forget-proof-command (match-string 4 str)) ans)) -- cgit v1.2.3