Mercurial > cpdt > repo
comparison 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 |
comparison
equal
deleted
inserted
replaced
| 379:e23d41ae63be | 380:31fa03bc0f18 |
|---|---|
| 181 *) | 181 *) |
| 182 | 182 |
| 183 (** ** Installation and Emacs Set-Up *) | 183 (** ** Installation and Emacs Set-Up *) |
| 184 | 184 |
| 185 (** | 185 (** |
| 186 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. | 186 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. |
| 187 | 187 |
| 188 %\index{Proof General|(}%To set up your Proof General environment to process the source to this chapter, a few simple steps are required. | 188 %\index{Proof General|(}%To set up your Proof General environment to process the source to this chapter, a few simple steps are required. |
| 189 | 189 |
| 190 %\begin{enumerate}%#<ol># | 190 %\begin{enumerate}%#<ol># |
| 191 | 191 |