     ("C-c C-b"        "C-S-b" fstar-subp-advance-to-point-max-lax)
     ("C-c C-r"        "C-S-r" fstar-subp-reload-to-point)
     ("C-c C-x"        "C-M-c" fstar-subp-kill-one-or-many)
-    ("C-c C-c"        "C-M-S-c" fstar-subp-kill-z3))
+    ("C-c C-c"        "C-M-S-c" fstar-subp-interrupt))
   "Proof-General and Atom bindings table.")
 
 (defun fstar-subp-refresh-keybinding (bind target unbind)

                       (string-suffix-p "z3.exe" cmd)))
          (signal-process pid 'int)
          (message "Sent SIGINT to %S (%S)" pid cmd))))))

;;; ;; Parsing and display issues


         (local-issues (cdr (assq t partitioned)))
         (other-issues (cdr (assq nil partitioned))))
    (when (and (eq status 'failure) (null issues))
      (fstar-log 'info "No issues in response despite failure: [%s]" response))
    (when other-issues
      (message "F* reported issues in other files: [%S]" other-issues))
    (when issues
