 
 ;;; ;; Killing Z3
 
+;; FIXME get rid of the process enumeration code now that we can just simply
+;; send a sigint to F*
+
 (defconst fstar--ps-line-regexp
   "^ *\\([0-9]+\\) +\\([0-9]+\\) \\(.+\\) *$")
 

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

;;; ;; Parsing and display issues


  "Process CONTENTS of real-time feedback message at LEVEL."
  (pcase level
    ("proof-state" (fstar-tactics--display-proof-state contents))
    (_ (let ((header (pcase level
                       ("info" "[F*] ")
                       (_ (format "[F* %s] " level)))))
         (unless (stringp contents)
           (setq contents (prin1-to-string contents)))
         (message "%s" (fstar--indent-str (fstar--string-trim contents) header))))))
