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
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 prev : unit -> unit
method private prove : 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