From 51986100d0fb9377c33d083bbea0f67329f71d37 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 17 Aug 2012 11:35:59 -0400
Subject: [PATCH] Proofreading pass through Chapter 1

---
 src/Intro.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Intro.v b/src/Intro.v
index 6705c7b..ead4878 100644
--- a/src/Intro.v
+++ b/src/Intro.v
@@ -187,7 +187,7 @@ Some readers have asked about the pragmatics of using this tactic library in the
 (** ** 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.
 
-- 
2.18.1