Coq 8.3pl4 is supported

5c974ea5 · MARCHE Claude · 51572a8b · 5c974ea5
Commit 5c974ea5 authored May 08, 2012 by MARCHE Claude
--- a/share/provers-detection-data.conf.in
+++ b/share/provers-detection-data.conf.in
@@ -259,6 +259,7 @@ name = "Coq"
 exec = "coqtop -batch"
 version_switch = "-v"
 version_regexp = "The Coq Proof Assistant, version \\([^ \n]+\\)"
+version_ok = "8.3pl4"
 version_ok = "8.3pl3"
 version_ok = "8.3pl2"
 version_ok = "8.3pl1"