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).
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: