let wp_script () =
  let file = GToolbox.select_file 
    ~title:"Script File for Coq proofs" 
    ~dir:wp_dir ~filename:"wp.script" ()
  in
  match file with
    | Some f -> Wp_parameters.Script.set f
    | None -> ()