Editing proof scripts for non interactive provers
For the moment, "Edit"ing a proof attempt corresponding to a non interactive prover yield an exception: anomaly: Why3.Controller_itp.Make(S).Editor_not_found
For the moment, "Edit"ing a proof attempt corresponding to a non interactive prover yield an exception: anomaly: Why3.Controller_itp.Make(S).Editor_not_found