Commit 1ff46ebe authored by MARCHE Claude's avatar MARCHE Claude

support for coq 8.4pl5

parent 9e1326ec
......@@ -7,6 +7,7 @@ library
for cloning). Similar change in modules array.NumOf...
provers
o support for Coq 8.4pl5 (released Nov 7, 2014)
o support for Z3 4.3.2 (released Oct 25, 2014)
o support for MetiTarski 2.4 (released Oct 21, 2014)
......
......@@ -431,6 +431,7 @@ compile_time_support = true
exec = "coqtop -batch"
version_switch = "-v"
version_regexp = "The Coq Proof Assistant, version \\([^ \n]+\\)"
version_ok = "8.4pl5"
version_ok = "8.4pl4"
version_ok = "8.4pl3"
version_ok = "8.4pl2"
......
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