-
MARCHE Claude authored
- the new policy is not taken into account immediately, only after saving preferences and restarting - prover name is not dynamically changed in IDE, only in session (so visible after reloading only) - dialog appear several times if several proof attempts launched in parallel
94b94f59