-
Sylvain Dailler authored
when selecting a proof attempt node, display the task of the parent in the task text window followed by the result of that prover, including a counterexample if any.
c01812cf
when selecting a proof attempt node, display the task of the parent in the task text window followed by the result of that prover, including a counterexample if any.