From 6ac04b30e318fd08cbaddf1c2b7cf5d8079a3847 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 21 Dec 2000 17:27:05 +0000 Subject: 'goalsave -> 'proof --- 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 0e82b1d3..1c2735dd 100644 --- a/phox/phox-fun.el +++ b/phox/phox-fun.el @@ -68,7 +68,7 @@ send a compile command to PhoX for the theorem which name is under the cursor." ((eq (span-property span 'type) 'comment)) - ((eq (span-property span 'type) 'goalsave) + ((eq (span-property span 'type) 'proof) (setq ans (concat (format phox-forget-id-command (span-property span 'name)) ans))) -- cgit v1.2.3