When killing process or scripting buffer, register file if it is complete, rather than always retracting.

1 files changed, 3 insertions, 5 deletions

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 3242a8a6..6dd9602f 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -338,11 +338,9 @@ exited by hand (or exits by itself)."
 	      ;; First, turn off scripting in any active scripting
 	      ;; buffer.  (This helps support persistent sessions with
 	      ;; Isabelle, for example, by making sure that no file is
-	      ;; partly processed when exiting).  Rather than
-	      ;; questioning the user, we behave as killing a script
-	      ;; buffer: forcibly retract a partly processed file and
-	      ;; always succeed.
-	      (proof-deactivate-scripting 'forceretract)
+	      ;; partly processed when exiting, and registering completed
+	      ;; files).  
+	      (proof-deactivate-scripting-auto)
 	      ;; Second, we try to shut down the proof process
 	      ;; politely.  Do this before deleting other buffers,
 	      ;; etc, so that any closing down processing works okay.