(************************************************************************) (* v * The Coq Proof Assistant / The Coq Development Team *) (* string val init : GWindow.window -> Session.session Wg_Notebook.typed_notebook -> GAction.action_group list -> unit