Readme updated: support for Coq 8.5

coq-community · Jan 4, 2016 · 4f8dc59 · 4f8dc59
1 parent 0fc326a
commit 4f8dc59
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -8,7 +8,7 @@ https://www.ps.uni-saarland.de/autosubst
 
 ## Requirements
 
-- Coq 8.4
+- Coq 8.4 or Coq 8.5beta3
 - ssreflect version 1.4 or 1.5 for some examples