Mercurial > cpdt > repo
comparison src/Intro.v @ 568:81d63d9c1cc5
Port to Coq 8.9.0
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 20 Jan 2019 15:16:29 -0500 |
| parents | af97676583f3 |
| children |
comparison
equal
deleted
inserted
replaced
| 567:ec0ce5129fc4 | 568:81d63d9c1cc5 |
|---|---|
| 184 *) | 184 *) |
| 185 | 185 |
| 186 (** ** Installation and Emacs Set-Up *) | 186 (** ** Installation and Emacs Set-Up *) |
| 187 | 187 |
| 188 (** | 188 (** |
| 189 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.6.1 and 8.7.1. Though parts may work with other versions, it is expected that the book source will fail to build with _earlier_ versions. | 189 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.9.0. Though parts may work with other versions, it is expected that the book source will fail to build with many _earlier_ versions. |
| 190 | 190 |
| 191 %\index{Proof General|(}%To set up your Proof General environment to process the source to the next chapter, a few simple steps are required. | 191 %\index{Proof General|(}%To set up your Proof General environment to process the source to the next chapter, a few simple steps are required. |
| 192 | 192 |
| 193 %\begin{enumerate}%#<ol># | 193 %\begin{enumerate}%#<ol># |
| 194 | 194 |