diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-06-05 10:45:12 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-06-05 10:45:12 +0000 |
| commit | 9c77766565cc9c29289ecf1c7d6c964d6af388ce (patch) | |
| tree | 6f63514fd2f153520142b29b72819d413502c551 /phox | |
| parent | a9c79785fd0870121e3ab6de9b8963435c5c6548 (diff) | |
Make find-and-forget robust for proverproc regions
Diffstat (limited to 'phox')
| -rw-r--r-- | phox/phox-fun.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/phox/phox-fun.el b/phox/phox-fun.el index d556a3c8..12dddf42 100644 --- a/phox/phox-fun.el +++ b/phox/phox-fun.el @@ -177,6 +177,8 @@ or for optional argument TABLE." ((eq (span-property span 'type) 'comment)) + ((eq (span-property span 'type) 'proverproc)) + ((eq (span-property span 'type) 'goalsave) (if (proof-string-match phox-prove-claim-regexp str) (setq ans (concat (format phox-forget-proof-command @@ -433,4 +435,4 @@ send a delete command to PhoX for the symbol whose name is under the cursor." (provide 'phox-fun) -
\ No newline at end of file + |