Commit 4d241f15 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Mark Coq 8.7.1 as supported.

parent f413eaea
...@@ -528,6 +528,7 @@ compile_time_support = true ...@@ -528,6 +528,7 @@ compile_time_support = true
exec = "coqtop -batch" exec = "coqtop -batch"
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.7.1"
version_ok = "8.7.0" version_ok = "8.7.0"
version_ok = "8.6.1" version_ok = "8.6.1"
version_ok = "8.6" version_ok = "8.6"
......
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