Rename proof-mark-buffer-atomic->proof-complete-buffer-atomic.

2 files changed, 4 insertions, 4 deletions

diff --git a/isa/isa.el b/isa/isa.el
index 556dbb86..15b83226 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -33,7 +33,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
 
@@ -339,7 +339,7 @@ isa-proofscript-mode."
     ;; 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.
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.