   (comint-send-string (get-buffer-process (current-buffer))
                       "source etc/debug-current\n"))
 
+(define-derived-mode andromeda-mode coq-mode "m31")
+(add-to-list 'auto-mode-alist '("\\.m31\\'" . andromeda-mode))
 
 (defun m31-send-current-statement nil
   (interactive)


(defun m31-ocamldebug nil
  (interactive)
  (ocamldebug (concat default-directory "andromeda.d.byte"))
  (mapc
   (lambda (f)
     (add-hook 'comint-preoutput-filter-functions f nil t))

      "
"))))
;; (buffer-local-set-key (kbd "C-M-x") 'm31-send-current-statement)


(provide 'andromeda)
;;; andromeda.el ends here
