Commit 85275b96 authored by Andrei Paskevich's avatar Andrei Paskevich

repair two sessions

parent d37e55aa
This source diff could not be displayed because it is too large. You can view the blob instead.
......@@ -16,7 +16,7 @@
<prover
id="3"
name="Coq"
version="8.4pl1"/>
version="8.3pl4"/>
<file
name="../there_and_back_again.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