Bump Coq version.

18f43bf1 · Robbert Krebbers · 3f3ca628 · 18f43bf1
Commit 18f43bf1 authored Jan 09, 2013 by Robbert Krebbers
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

README README +1 -1

No files found.
--- a/README
+++ b/README
@@ -3,7 +3,7 @@ PREREQUISITES

 This version is known to compile with:

- - Coq 8.4  
+ - Coq 8.4pl1
 - SCons 2.0

 BUILDING INSTRUCTIONS