Commit 3cd642c2 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Mark Coq 8.7.0 as supported.

parent 19a3ca0c
......@@ -522,8 +522,9 @@ compile_time_support = true
exec = "coqtop -batch"
version_switch = "-v"
version_regexp = "The Coq Proof Assistant, version \\([^ \n]+\\)"
version_ok = "8.6"
version_ok = "8.7.0"
version_ok = "8.6.1"
version_ok = "8.6"
command = "%e -I %l/coq-tactic -R %l/coq-tactic Why3 -R %l/coq Why3 -l %f"
driver = "coq"
editor = "coqide"
......
Supports Markdown
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