comparison src/Intro.v @ 446:a0c604da96d3

Proofreading pass through Chapter 1
author Adam Chlipala <adam@chlipala.net>
date Fri, 17 Aug 2012 11:35:59 -0400
parents 8077352044b2
children 4320c1a967c2
comparison
equal deleted inserted replaced
445:0650420c127b 446:a0c604da96d3
185 *) 185 *)
186 186
187 (** ** Installation and Emacs Set-Up *) 187 (** ** Installation and Emacs Set-Up *)
188 188
189 (** 189 (**
190 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. 190 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.
191 191
192 %\index{Proof General|(}%To set up your Proof General environment to process the source to this chapter, a few simple steps are required. 192 %\index{Proof General|(}%To set up your Proof General environment to process the source to this chapter, a few simple steps are required.
193 193
194 %\begin{enumerate}%#<ol># 194 %\begin{enumerate}%#<ol>#
195 195