Mark Coq 8.8.0 as supported.

03e92b88 · Guillaume Melquiond · 7403dedb · 03e92b88
Commit 03e92b88 authored May 16, 2018 by Guillaume Melquiond
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

share/provers-detection-data.conf share/provers-detection-data.conf +1 -0

No files found.
--- a/share/provers-detection-data.conf
+++ b/share/provers-detection-data.conf
@@ -528,6 +528,7 @@ compile_time_support = true
 exec = "coqtop -batch"
 version_switch = "-v"
 version_regexp = "The Coq Proof Assistant, version \\([^ \n]+\\)"
+version_ok = "8.8.0"
 version_ok = "^8\.7\.[0-2]$"
 version_ok = "8.6.1"
 version_ok = "8.6"