                                 (set ,var nil)))))
       
 ;; PROCESS MANAGEMENT
-(defun merlin-make-buffer-name ()
-  "Returns the buffer name associated to the current buffer, for the merlin process"
-  (concat "*"
-	  (buffer-file-name nil)
-	  " merlin *"))
-
-(defun merlin-make-process-name ()
-  "Returns the process name for the current buffer"
-  (concat "merlin-" (buffer-file-name nil)))
-
 (defun merlin-get-process ()
   "Returns the process of the current buffer"
   merlin-process)
+
+(defun merlin-get-process-buffer-name ()
+  "Returns the buffer name of the merlin process associated to the current buffer"
+  "* merlin *")
+
+(defun merlin-get-process-name ()
+  "Returns the process name for the current buffer"
+  "merlin"
+  )
+
 
 (defun merlin-filter (process output)
   "The filter on merlin's output"

In particular you can specify nil, meaning that the locked zone is not represented at the screen"
  )


;; Internal variables


; Process / Reception related variables
(defvar merlin-process nil
  "The merlin process associated to the current buffer")
(defvar merlin-result nil
  "Temporary variables to store command results")
(defvar merlin-lock-zone-highlight-overlay nil 

    (setq merlin-lock-zone-margin-overlay (make-overlay (point) (point)))
    (set-window-margins nil 1)
    (merlin-put-margin-overlay merlin-lock-zone-margin-overlay
                               merlin-margin-lock-string)))

(defun merlin-update-highlight-lock-zone ()
  "Marks the position of the lock zone by highlighting the zone"
