Mercurial > cpdt > repo
diff src/Intro.v @ 380:31fa03bc0f18
Get it to build with Coq 8.4
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Thu, 29 Mar 2012 18:10:52 -0400 |
| parents | f7c2bf7f1324 |
| children | d5112c099fbf |
line wrap: on
line diff
--- a/src/Intro.v Thu Mar 29 17:15:14 2012 -0400 +++ b/src/Intro.v Thu Mar 29 18:10:52 2012 -0400 @@ -183,7 +183,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.3pl2, 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.3pl2 and 8.4 beta, 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.