Commit 8c69db4c authored by MARCHE Claude's avatar MARCHE Claude

support for Coq8.3pl3 and Gappa 0.16.0

parent 1a09c429
......@@ -102,6 +102,7 @@ name = "Gappa"
exec = "gappa"
version_switch = "--version"
version_regexp = "Gappa \\([^ \n]*\\)"
version_ok = "0.16.0"
version_ok = "0.15.1"
version_ok = "0.15.0"
version_ok = "0.14.1"
......@@ -241,6 +242,7 @@ name = "Coq"
exec = "coqtop -batch"
version_switch = "-v"
version_regexp = "The Coq Proof Assistant, version \\([^ \n]+\\)"
version_ok = "8.3pl3"
version_ok = "8.3pl2"
version_ok = "8.3pl1"
version_ok = "8.3"
......
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