val helpMenu_menu : GMenu.menu
val hideConsoleButton : GButton.button
val image169 : GMisc.image
- val image182 : GMisc.image
- val image183 : GMisc.image
- val image184 : GMisc.image
- val image185 : GMisc.image
- val image186 : GMisc.image
+ val image224 : GMisc.image
+ val image225 : GMisc.image
+ val image226 : GMisc.image
+ val image227 : GMisc.image
+ val image228 : GMisc.image
val mainMenuBar : GMenu.menu_shell
val mainStatusBar : GMisc.statusbar
val mainVPanes : GPack.paned
val mainWin : GWindow.window
val mainWinEventBox : GBin.event_box
val mainWinShape : GPack.box
+ val newCicBrowserMenuItem : GMenu.menu_item
val newDefsMenuItem : GMenu.menu_item
val newMenu : GMenu.image_menu_item
val newMenu_menu : GMenu.menu
val separator2 : GMenu.menu_item
val separator3 : GMenu.menu_item
val sequentsNotebook : GPack.notebook
- val showCheckMenuItem : GMenu.check_menu_item
val showConsoleMenuItem : GMenu.menu_item
- val showProofMenuItem : GMenu.check_menu_item
val showScriptMenuItem : GMenu.check_menu_item
val showToolBarMenuItem : GMenu.check_menu_item
val toplevel : GWindow.window
method helpMenu_menu : GMenu.menu
method hideConsoleButton : GButton.button
method image169 : GMisc.image
- method image182 : GMisc.image
- method image183 : GMisc.image
- method image184 : GMisc.image
- method image185 : GMisc.image
- method image186 : GMisc.image
+ method image224 : GMisc.image
+ method image225 : GMisc.image
+ method image226 : GMisc.image
+ method image227 : GMisc.image
+ method image228 : GMisc.image
method mainMenuBar : GMenu.menu_shell
method mainStatusBar : GMisc.statusbar
method mainVPanes : GPack.paned
method mainWin : GWindow.window
method mainWinEventBox : GBin.event_box
method mainWinShape : GPack.box
+ method newCicBrowserMenuItem : GMenu.menu_item
method newDefsMenuItem : GMenu.menu_item
method newMenu : GMenu.image_menu_item
method newMenu_menu : GMenu.menu
method separator2 : GMenu.menu_item
method separator3 : GMenu.menu_item
method sequentsNotebook : GPack.notebook
- method showCheckMenuItem : GMenu.check_menu_item
method showConsoleMenuItem : GMenu.menu_item
- method showProofMenuItem : GMenu.check_menu_item
method showScriptMenuItem : GMenu.check_menu_item
method showToolBarMenuItem : GMenu.check_menu_item
method toplevel : GWindow.window
val browserBackButton : GButton.button
val browserForwardButton : GButton.button
val browserHomeButton : GButton.button
+ val browserNewButton : GButton.button
+ val browserRefreshButton : GButton.button
+ val browserUri : GEdit.entry
+ val browserVBox : GPack.box
val browserWin : GWindow.window
val browserWinEventBox : GBin.event_box
val frame1 : GBin.frame
val image188 : GMisc.image
val image189 : GMisc.image
val image190 : GMisc.image
+ val image191 : GMisc.image
+ val image229 : GMisc.image
val label10 : GMisc.label
val scrolledBrowser : GBin.scrolled_window
val toplevel : GWindow.window
- val vbox7 : GPack.box
val xml : Glade.glade_xml Gtk.obj
method alignment3 : GBin.alignment
method bind : name:string -> callback:(unit -> unit) -> unit
method browserBackButton : GButton.button
method browserForwardButton : GButton.button
method browserHomeButton : GButton.button
+ method browserNewButton : GButton.button
+ method browserRefreshButton : GButton.button
+ method browserUri : GEdit.entry
+ method browserVBox : GPack.box
method browserWin : GWindow.window
method browserWinEventBox : GBin.event_box
method check_widgets : unit -> unit
method image188 : GMisc.image
method image189 : GMisc.image
method image190 : GMisc.image
+ method image191 : GMisc.image
+ method image229 : GMisc.image
method label10 : GMisc.label
method reparent : GObj.widget -> unit
method scrolledBrowser : GBin.scrolled_window
method toplevel : GWindow.window
- method vbox7 : GPack.box
method xml : Glade.glade_xml Gtk.obj
end
val check_all : ?show:bool -> unit -> unit