(************************************************************************) (* v * The Coq Proof Assistant / The Coq Development Team *) (* Coq.coqtop -> object method new_query : ?command:string -> ?term:string -> unit -> unit method pack_in : (GObj.widget -> unit) -> unit method show : unit method hide : unit method visible : bool end