diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-12-21 17:27:05 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-12-21 17:27:05 +0000 |
| commit | 6ac04b30e318fd08cbaddf1c2b7cf5d8079a3847 (patch) | |
| tree | 5cc69d96baef685425e20bd6325e4482b05dae04 /phox | |
| parent | aa7e179bbda6806ca6af1f0726d891dd1f71c6df (diff) | |
'goalsave -> 'proof
Diffstat (limited to 'phox')
| -rw-r--r-- | phox/phox-fun.el | 2 |
1 files changed, 1 insertions, 1 deletions
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))) |