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