config --detect should display the known versions of provers
When why3 config --detect
says that it finds a prover with unknown or obsolete version,
it should also inform the user what are the known versions
When why3 config --detect
says that it finds a prover with unknown or obsolete version,
it should also inform the user what are the known versions