Commit 3aa8f430 authored by MARCHE Claude's avatar MARCHE Claude

Coq 8.4pl1 supported

parent 058ae86c
......@@ -351,6 +351,7 @@ name = "Coq"
exec = "coqtop -batch"
version_switch = "-v"
version_regexp = "The Coq Proof Assistant, version \\([^ \n]+\\)"
version_ok = "8.4pl1"
version_ok = "8.4"
command = "'@LOCALBIN@why3-cpulimit' 0 %m -s %e -I %l/coq-tactic -R %l/coq Why3 -l %f"
driver = "drivers/coq_8_4.drv"
......
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