Commit 36b42d5e authored by MARCHE Claude's avatar MARCHE Claude

support for Coq 8.8.1

parent 88928042
......@@ -3,6 +3,7 @@
Provers
* support for Alt-Ergo 2.1.0 (released Mar 14, 2018)
* support for Alt-Ergo 2.2.0 (released Apr 26, 2018)
* support for Coq 8.8.1 (released Jun 29, 2018)
* support for CVC4 1.6 (released Jun 25, 2018)
* support for Isabelle 2018 (released Aug 2018)
* dropped support for Isabelle 2016 (2017 still supported) :x:
......
......@@ -596,12 +596,12 @@ support_library = "%l/coq/version"
exec = "coqtop"
version_switch = "-v"
version_regexp = "The Coq Proof Assistant, version \\([^ \n]+\\)"
version_ok = "8.8.0"
version_ok = "^8\.8\.[0-1]$"
version_ok = "^8\.7\.[0-2]$"
version_ok = "8.6.1"
version_ok = "8.6"
version_ok = "^8\.5pl[1-3]$"
version_ok = "8.5"
version_old = "^8\.5pl[1-3]$"
version_old = "8.5"
command = "%e -batch -R %l/coq Why3 -l %f"
driver = "coq"
editor = "coqide"
......
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