# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1345217759 14400
# Node ID a0c604da96d3c2a62febcf544585999b37810299
# Parent  0650420c127b84f18c39a7da529ae3ec58cbf50f
Proofreading pass through Chapter 1

diff -r 0650420c127b -r a0c604da96d3 src/Intro.v
--- a/src/Intro.v	Wed Aug 01 17:31:56 2012 -0400
+++ b/src/Intro.v	Fri Aug 17 11:35:59 2012 -0400
@@ -187,7 +187,7 @@
 (** ** Installation and Emacs Set-Up *)
 
 (**
-At the start of the next chapter, I assume that you have installed Coq and Proof General.  The code in this book is tested with Coq version 8.4beta1, though parts may work with other versions.
+At the start of the next chapter, I assume that you have installed Coq and Proof General.  The code in this book is tested with Coq version 8.4, though parts may work with other versions.
 
 %\index{Proof General|(}%To set up your Proof General environment to process the source to this chapter, a few simple steps are required.