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 -> ()