diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2006-11-04 19:57:09 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2006-11-04 19:57:09 +0000 |
| commit | 84779c34d7e037508271e3fad8f853299ced473d (patch) | |
| tree | 3a68ad77ac72e5adad2cebcb1078349c4356b5f2 /isar | |
| parent | 1708c79a31fcd63745ba4749d7f9d199b473a585 (diff) | |
isar-strip-terminators, isar-detect-begin: proof-search-forward;
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/isar/isar.el b/isar/isar.el index df8da592..292baef9 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -63,7 +63,7 @@ See -k option for Isabelle interface script." (interactive) (save-excursion (goto-char (point-min)) - (while (search-forward ";" (point-max) t) + (while (proof-search-forward ";" (point-max) t) (if (not (proof-buffer-syntactic-context)) (progn (delete-backward-char 1) @@ -401,7 +401,7 @@ proof-shell-retract-files-regexp." (end (span-end span))) (save-excursion (goto-char start) - (while (and (not found) (search-forward-regexp isar-begin-regexp end t)) + (while (and (not found) (proof-search-forward isar-keyword-begin end t)) (or (proof-buffer-syntactic-context) (setq found t)))) found)) |