why3config should check editors can be launched
I recently changed the version of Coq I am using and forgot to update Coqide. When launching a Coq proof in Why3IDE, nothing was happening. Coqide was not launched because it did not exist (my problem is that this was silent).
When doing why3config --detect
, I would like editors to be detected as well as provers. If I am not misleading the provers are detected by launching commands like cvc4 --version
and checking the result in share/provers-detection-data.conf. I would like editors to be detected as well if possible: coqide --version