            (if (setq-default fstar-debug (not fstar-debug)) "enabled" "disabled"))
   (when fstar-debug
     (display-buffer (fstar--log-buffer))))
-
-(define-obsolete-variable-alias 'fstar-subp-debug 'fstar-debug "0.4")
-(define-obsolete-function-alias 'fstar-subp-toggle-debug 'fstar-toggle-debug "0.4")
 
 (defconst fstar--log-buffer-keywords
   '(("!!!" . font-lock-warning-face)

(defgroup fstar-tactics nil
  "Tactics and tactic-based proofs."
  :group 'fstar-interactive)

(defcustom fstar-executable "fstar.exe"
  "Where to find F*.

         (line-col `("(" line "," column "-" ,digits "," ,digits ")")))
    `((error (file-name) ,@line-col ": (Error) " (message))
      (warning (file-name) ,@line-col ": (Warning) " (message)))))

(defun fstar--flycheck-verify-enabled (checker)
  "Create a verification result announcing whether CHECKER is enabled."
