Commit 955ddf6f authored by MARCHE Claude's avatar MARCHE Claude

Support for Gappa 1.2.0

parent 913c316a
......@@ -14,6 +14,7 @@ provers
o support for Zenon 0.8.0 (released Oct 21, 2014)
o support for Isabelle 2015 (released May 25, 2015)
o support for Coq 8.4pl6 (released April 9, 2015)
o support for Gappa 1.2.0 (released May 19, 2015)
o discarded support for Alt-Ergo versions older than 0.95.2
Version 0.86.2, October 13, 2015
......
......@@ -148,6 +148,7 @@ driver = "drivers/eprover.drv"
[ATP gappa]
name = "Gappa"
exec = "gappa"
exec = "gappa-1.2.0"
exec = "gappa-1.1.1"
exec = "gappa-1.1.0"
exec = "gappa-1.0.0"
......
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