--- a/src/Intro.v	Fri Jul 27 15:41:06 2012 -0400
+++ b/src/Intro.v	Fri Jul 27 16:47:28 2012 -0400
@@ -211,7 +211,9 @@
 The extra arguments demonstrated here are the proper choices for working with the code for this book.  The ellipses stand for other Emacs customization settings you may already have.  It can be helpful to save several alternate sets of flags in your <<.emacs>> file, with all but one commented out within the <<custom-set-variables>> block at any given time.
 
 Alternatively, Proof General configuration can be set on a per-directory basis, using a %\index{.dir-locals.el file@\texttt{.dir-locals.el} file}%<<.dir-locals.el>> file in the directory of the source files for which you want the settings to apply.  Here is an example that could be written in such a file to enable use of the book source.  Note the need to include an argument that starts Coq in Emacs support mode.
-%\begin{verbatim}%#<pre>#((coq-mode . ((coq-prog-args . ("-emacs-U" "-I" "DIR/src")))))#</pre>#%\end{verbatim}%
+<<
+((coq-mode . ((coq-prog-args . ("-emacs-U" "-I" "DIR/src")))))
+>>
  #</li>#
 
 #</ol>#%\end{enumerate}%