Restore list-strategies
[EDIT: I originally fail to see that strategies do work in why3ide in the commandline] We should resurrect list-strategies
.
[EDIT: I originally fail to see that strategies do work in why3ide in the commandline] We should resurrect list-strategies
.