 
 ;; Parameters
 ;; ==========
-(defvar-local lean-server-process-name "lean-server")
-(defvar-local lean-server-buffer-name  "*lean-server*")
-(defvar-local lean-server-option       "--server")
+(defvar-local lean-server-process-name      "lean-server")
+(defvar-local lean-server-buffer-name       "*lean-server*")
+(defvar-local lean-server-trace-buffer-name "*lean-server-trace*")
+(defvar-local lean-server-option            "--server")
 
 ;; Log Function
 ;; ============

  "Display a message at the bottom of the *lean-server* buffer."
  (with-current-buffer (lean-server-get-buffer)
    (goto-char (point-max))
    (insert (apply 'format (concat format-string "\n")  args))))

;; How to read data from an async process
;; ======================================

             "%s\n"
             "================" "\n")
     string-to-send)
    ;; Trace
    (lean-server-trace
     (format "%s" string-to-send))
    (process-send-string proc string-to-send)
    (lean-server-after-send-cmd cmd)))

(provide 'lean-server)
