(setq
 coq-prog-name "~/research/coq/trunk/bin/coqtop.byte -emacs-U -R . Prelude"
 proof-prog-name nil
 coq-prog-args nil)