Commit 3895e560 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Recognize Coq 8.9.0.

parent e905b926
...@@ -49,6 +49,7 @@ Provers ...@@ -49,6 +49,7 @@ Provers
* support for Z3 4.8.1 (released Oct 16, 2018) * support for Z3 4.8.1 (released Oct 16, 2018)
* support for Z3 4.8.3 (released Nov 20, 2018) * support for Z3 4.8.3 (released Nov 20, 2018)
* support for Z3 4.8.4 (released Dec 20, 2018) * support for Z3 4.8.4 (released Dec 20, 2018)
* support for Coq 8.9.0 (released Jan 17, 2019)
* upgraded Coq realizations for floating-point arithmetic to Flocq 3.1 * upgraded Coq realizations for floating-point arithmetic to Flocq 3.1
Version 1.1.1, December 17, 2018 Version 1.1.1, December 17, 2018
......
...@@ -590,6 +590,7 @@ support_library = "%l/coq/version" ...@@ -590,6 +590,7 @@ support_library = "%l/coq/version"
exec = "coqtop" exec = "coqtop"
version_switch = "-v" version_switch = "-v"
version_regexp = "The Coq Proof Assistant, version \\([^ \n]+\\)" version_regexp = "The Coq Proof Assistant, version \\([^ \n]+\\)"
version_ok = "^8\.9\.[0]$"
version_ok = "^8\.8\.[0-2]$" version_ok = "^8\.8\.[0-2]$"
version_ok = "^8\.7\.[0-2]$" version_ok = "^8\.7\.[0-2]$"
version_ok = "8.6.1" version_ok = "8.6.1"
......
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