let wp_prover_set = function | Prover p -> if p="coqide" && Wp_parameters.Script.get() = "" then wp_script () ; Wp_parameters.Prover.set p | NoProver -> Wp_parameters.Prover.set "none"