Commit 0eacf898 authored by François Bobot's avatar François Bobot

convert version for coq 8.2pl1 and yices 1.0.13 and other alt-ergo

parent 472a7e9b
......@@ -5,15 +5,15 @@
<prover
id="alt-ergo"
name="Alt-Ergo"
version="0.93"/>
version="0.94"/>
<prover
id="coq"
name="Coq"
version="8.2pl1"/>
version="8.3pl3"/>
<prover
id="coq-realize"
name="Coq Realize"
version="8.2pl1"/>
version="8.3pl3"/>
<prover
id="cvc3-2.2"
name="CVC3"
......
......@@ -5,15 +5,15 @@
<prover
id="alt-ergo"
name="Alt-Ergo"
version="0.93"/>
version="0.94"/>
<prover
id="coq"
name="Coq"
version="8.2pl1"/>
version="8.3pl3"/>
<prover
id="coq-realize"
name="Coq Realize"
version="8.2pl1"/>
version="8.3pl3"/>
<prover
id="cvc3-2.2"
name="CVC3"
......
......@@ -5,15 +5,15 @@
<prover
id="alt-ergo"
name="Alt-Ergo"
version="0.93"/>
version="0.94"/>
<prover
id="coq"
name="Coq"
version="8.2pl1"/>
version="8.3pl3"/>
<prover
id="coq-realize"
name="Coq Realize"
version="8.2pl1"/>
version="8.3pl3"/>
<prover
id="cvc3-2.2"
name="CVC3"
......
......@@ -5,11 +5,11 @@
<prover
id="alt-ergo"
name="Alt-Ergo"
version="0.93"/>
version="0.94"/>
<prover
id="coq"
name="Coq"
version="8.3pl2"/>
version="8.3pl3"/>
<prover
id="cvc3-2.2"
name="CVC3"
......
......@@ -9,7 +9,7 @@
<prover
id="coq"
name="Coq"
version="8.3pl2"/>
version="8.3pl3"/>
<prover
id="cvc3-2.2"
name="CVC3"
......
......@@ -9,7 +9,7 @@
<prover
id="coq"
name="Coq"
version="8.3pl2"/>
version="8.3pl3"/>
<prover
id="cvc3-2.2"
name="CVC3"
......
......@@ -9,7 +9,7 @@
<prover
id="coq"
name="Coq"
version="8.3pl2"/>
version="8.3pl3"/>
<prover
id="cvc3-2.2"
name="CVC3"
......
......@@ -9,7 +9,7 @@
<prover
id="coq"
name="Coq"
version="8.3pl2"/>
version="8.3pl3"/>
<prover
id="cvc3-2.2"
name="CVC3"
......
......@@ -13,7 +13,7 @@
<prover
id="2"
prover_id="yices" name="Yices"
version="1.0.13"/>
version="1.0.25"/>
<prover
id="3"
prover_id="z3-2" name="Z3"
......
......@@ -29,7 +29,7 @@
<prover
id="yices"
name="Yices"
version="1.0.13"/>
version="1.0.25"/>
<prover
id="z3-2"
name="Z3"
......
......@@ -9,7 +9,7 @@
<prover
id="coq"
name="Coq"
version="8.2pl1"/>
version="8.3pl3"/>
<prover
id="cvc3-2.2"
name="CVC3"
......@@ -29,7 +29,7 @@
<prover
id="yices"
name="Yices"
version="1.0.13"/>
version="1.0.25"/>
<prover
id="z3-2"
name="Z3"
......
......@@ -9,7 +9,7 @@
<prover
id="coq"
name="Coq"
version="8.3pl2"/>
version="8.3pl3"/>
<prover
id="cvc3-2.2"
name="CVC3"
......
......@@ -29,7 +29,7 @@
<prover
id="yices"
name="Yices"
version="1.0.13"/>
version="1.0.25"/>
<prover
id="z3-2"
name="Z3"
......
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