Permalink
Browse files

update README

  • Loading branch information...
1 parent ad1d19b commit 6a0e63932cd7eade447f6267339ad270a66e9ceb @robbertkrebbers robbertkrebbers committed Nov 24, 2011
Showing with 1 addition and 1 deletion.
  1. +1 −1 README
View
2 README
@@ -1,6 +1,6 @@
Compilation
- Known to compile with Coq trunk 14688.
+ Known to compile with Coq trunk 14722.
Warning: This development assumes a case sensitive file system.

0 comments on commit 6a0e639

Please sign in to comment.