why3config --detect remove manually added prover
I am trying to add an editor for Coq (proofgeneral), so I need that the configuration file is not erased by why3config --detect
.
In this, I will try to avoid this removal unless I am missing something ?