main:Design.main_window_extension_points ->
filter:GuiNavigator.filter Toolbox.selector ->
next:Toolbox.button ->
prev:Toolbox.button ->
index:Toolbox.button ->
clear:Toolbox.button ->
card:GuiNavigator.card Toolbox.selector ->
list:GuiList.pane ->
goal:GuiGoal.pane ->
source:GuiSource.highlighter ->
popup:GuiSource.popup ->
object
val mutable currentgoal : Wpo.t option
val mutable focus : GuiNavigator.focus
val popup_coq : Toolbox.popup
val popup_ergo : Toolbox.popup
val popup_qed : Toolbox.popup
val mutable popup_target : (Wpo.t * VCS.prover option) option
val popup_why3 : Toolbox.popup
method private clear : unit -> unit
method private details : unit
method private move : (int -> int) -> unit
method private navigator : bool -> Wpo.t option -> unit
method private next : unit -> unit
method private popup : Wpo.t -> VCS.prover option -> unit
method private popup_delete : unit -> unit
method private popup_proofmodes :
Toolbox.popup -> (string * VCS.mode) list -> unit
method private popup_run : VCS.mode -> unit -> unit
method private popup_why3ide : unit -> unit
method private prev : unit -> unit
method private prove : ?mode:VCS.mode -> Wpo.t -> VCS.prover -> unit
method reload : unit -> unit
method private set_filter : GuiNavigator.filter -> unit
method private set_focus : GuiNavigator.focus -> unit
method private set_selection : GuiSource.selection -> unit
method update : unit -> unit
end