diff options
author | 2003-06-05 10:45:12 +0000 | |
---|---|---|
committer | 2003-06-05 10:45:12 +0000 | |
commit | 9c77766565cc9c29289ecf1c7d6c964d6af388ce (patch) | |
tree | 6f63514fd2f153520142b29b72819d413502c551 /isar | |
parent | a9c79785fd0870121e3ab6de9b8963435c5c6548 (diff) |
Make find-and-forget robust for proverproc regions
Diffstat (limited to 'isar')
-rw-r--r-- | isar/isar.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/isar/isar.el b/isar/isar.el index 92ad071b..8b0d8327 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -423,6 +423,7 @@ proof-shell-retract-files-regexp." ;; str below) ;; FIXME: should adjust proof-nesting-depth here. ((or (eq (span-property span 'type) 'comment) + (eq (span-property span 'type) 'proverproc) (eq (span-property span 'type) 'proof); da: needed? (proof-string-match isar-undo-skip-regexp str) (proof-string-match isar-undo-ignore-regexp str))) |