# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1357590196 18000
# Node ID 8bfb27cf012189eb7ed0b8f72592465882f644d8
# Parent  f2286f6512f8472f71ea2531a389f65c264f7afc
Add explicit warning that Coq 8.4 or later is required

diff -r f2286f6512f8 -r 8bfb27cf0121 src/Intro.v
--- a/src/Intro.v	Sun Jan 06 16:37:21 2013 -0500
+++ b/src/Intro.v	Mon Jan 07 15:23:16 2013 -0500
@@ -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.4, 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 versions 8.4 and 8.4pl1.  Though parts may work with other versions, it is expected that the book source will fail to build with _earlier_ versions.
 
 %\index{Proof General|(}%To set up your Proof General environment to process the source to this chapter, a few simple steps are required.