(* coq-prog-args: ("-emacs") *)
Set Diffs "on".
(* verify this does not produce an error message *)