Commit ebad6e52 authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

sed -i -e 's/"8.4"/"8.3pl4"/' */why3session.xml

parent 15fa57be
......@@ -16,7 +16,7 @@
<prover
id="3"
name="Coq"
version="8.4"/>
version="8.3pl4"/>
<prover
id="4"
name="Z3"
......
......@@ -24,7 +24,7 @@
<prover
id="5"
name="Coq"
version="8.4"/>
version="8.3pl4"/>
<prover
id="6"
name="Z3"
......
......@@ -24,7 +24,7 @@
<prover
id="5"
name="Coq"
version="8.4"/>
version="8.3pl4"/>
<prover
id="6"
name="Z3"
......
......@@ -16,7 +16,7 @@
<prover
id="3"
name="Coq"
version="8.4"/>
version="8.3pl4"/>
<prover
id="4"
name="Z3"
......
......@@ -16,7 +16,7 @@
<prover
id="3"
name="Coq"
version="8.4"/>
version="8.3pl4"/>
<file
name="../vstte12_two_way_sort.mlw"
verified="true"
......
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