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"