(setq
 coq-prog-name "~/research/coq/trunk/bin/coqtop.byte"
 coq-prog-args '("-emacs-U" "-R" "/Users/mat/research/coq/prelude" "Prelude"))