Commit 51986100 authored by Adam Chlipala's avatar Adam Chlipala

Proofreading pass through Chapter 1

parent fb9172f6
...@@ -187,7 +187,7 @@ Some readers have asked about the pragmatics of using this tactic library in the ...@@ -187,7 +187,7 @@ Some readers have asked about the pragmatics of using this tactic library in the
(** ** Installation and Emacs Set-Up *) (** ** 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.4beta1, 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 version 8.4, 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. %\index{Proof General|(}%To set up your Proof General environment to process the source to this chapter, a few simple steps are required.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment