.dir-locals.el

;;; Directory Local Variables
;;; See Info node `(emacs) Directory Variables' for more information.

((coq-mode
  (coq-load-path
   (rec "./" "ModuRes"))))