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

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