sig
val is_empty_script : string -> bool
val delete_script_for : gid:string -> unit
val add_script_for : gid:string -> string list -> string -> string -> unit
val parse_coqproof : string -> (string * string) option
val savescripts : unit -> unit
val script_for :
pid:WpPropId.prop_id ->
gid:string -> legacy:string -> (string * string) option
val script_for_ide :
pid:WpPropId.prop_id -> gid:string -> legacy:string -> string * string
val hints_for : pid:WpPropId.prop_id -> (string * string * string) list
end