diff options
| author | David Aspinall | 1999-10-19 15:36:05 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-19 15:36:05 +0000 |
| commit | fa480162d4745f204a08017ffaed89ad88831fbf (patch) | |
| tree | c05d907f06415cf964f6199c73d5f79da628aad6 /isar | |
| parent | a5e5cba321580dbbe4ff0deeb80e0b3b9aa301ed (diff) | |
Rename proof-mark-buffer-atomic->proof-complete-buffer-atomic.
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 429a8eb1..e4e2412d 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -35,7 +35,7 @@ ;;; variable: proof-analyse-using-stack ;;; proof-locked-region-empty-p, proof-shell-insert, pbp-mode, -;;; proof-mark-buffer-atomic, proof-shell-invisible-command, +;;; proof-complete-buffer-atomic, proof-shell-invisible-command, ;;; prev-span, span-property, next-span, proof-unprocessed-begin, ;;; proof-config-done, proof-shell-config-done @@ -326,7 +326,7 @@ proof-shell-retract-files-regexp." ;; form of file-truename. (and (member (file-truename buffer-file-truename) proof-included-files-list) - (proof-mark-buffer-atomic (current-buffer))) + (proof-complete-buffer-atomic (current-buffer))) ) (t ;; Proof mode does that automatically. |