Commit a3155c0a authored by MARCHE Claude's avatar MARCHE Claude
Browse files

Coq 8.4pl6 is supported

parent c2674ad6
* marks an incompatible change
library
* improved bitvectors theories
Encodings
* When a task has no polymorphic object (except for the special
cases of equality and maps) then the translation to SMT-LIB
format is direct
provers
o support for Isabelle 2015 (released May 25, 2015)
o support for Coq 8.4pl6 (released April 9, 2015)
Version 0.86.1, May 22, 2015
============================
......
......@@ -473,6 +473,7 @@ compile_time_support = true
exec = "coqtop -batch"
version_switch = "-v"
version_regexp = "The Coq Proof Assistant, version \\([^ \n]+\\)"
version_ok = "8.4pl6"
version_ok = "8.4pl5"
version_ok = "8.4pl4"
version_ok = "8.4pl3"
......
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