+(require 'coq)
+
 (setq m31-comint-filters
       '((lambda (s)
           (replace-regexp-in-string "^ocd " "(ocd) " s))


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

  (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)
