Commit cc7b99c3 authored by MARCHE Claude's avatar MARCHE Claude

resurected the support for Isabelle jEdit server mode. We should fix the problem with installation

missing proper executable rights
parent 98c1527c
......@@ -97,7 +97,7 @@
loclnum="23" loccnumb="7" loccnume="31"
sum="ab198428cded6c66a633de3a5773db5a"
proved="true"
expanded="false"
expanded="true"
shape="adaughterV0V1OasonV0V1qachildV0V1F">
<proof
prover="0"
......@@ -171,7 +171,7 @@
edited="genealogy_Genealogy_Child_is_son_or_daughter_1.xml"
obsolete="false"
archived="false">
<result status="valid" time="4.64"/>
<result status="valid" time="4.55"/>
</proof>
<proof
prover="9"
......
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