val editMenu : GMenu.menu_item
val fileMenu : GMenu.menu_item
val fileMenu_menu : GMenu.menu
+ val hbox4 : GPack.box
val helpMenu : GMenu.menu_item
val helpMenu_menu : GMenu.menu
- val image128 : GMisc.image
- val image129 : GMisc.image
- val image130 : GMisc.image
- val image131 : GMisc.image
- val image132 : GMisc.image
+ val hideConsoleButton : GButton.button
+ val image164 : GMisc.image
+ val image165 : GMisc.image
+ val image166 : GMisc.image
+ val image167 : GMisc.image
+ val image168 : GMisc.image
+ val image169 : GMisc.image
val mainMenuBar : GMenu.menu_shell
val mainStatusBar : GMisc.statusbar
val mainVPanes : GPack.paned
val saveAsMenuItem : GMenu.image_menu_item
val saveMenuItem : GMenu.image_menu_item
val scrolledConsole : GBin.scrolled_window
- val scrolledSequents : GBin.scrolled_window
val separator1 : GMenu.menu_item
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
+ val vbox6 : GPack.box
val viewMenu : GMenu.menu_item
val viewMenu_menu : GMenu.menu
- val viewport1 : GBin.viewport
val xml : Glade.glade_xml Gtk.obj
method aboutMenuItem : GMenu.menu_item
method bind : name:string -> callback:(unit -> unit) -> unit
method editMenu : GMenu.menu_item
method fileMenu : GMenu.menu_item
method fileMenu_menu : GMenu.menu
+ method hbox4 : GPack.box
method helpMenu : GMenu.menu_item
method helpMenu_menu : GMenu.menu
- method image128 : GMisc.image
- method image129 : GMisc.image
- method image130 : GMisc.image
- method image131 : GMisc.image
- method image132 : GMisc.image
+ method hideConsoleButton : GButton.button
+ method image164 : GMisc.image
+ method image165 : GMisc.image
+ method image166 : GMisc.image
+ method image167 : GMisc.image
+ method image168 : GMisc.image
+ method image169 : GMisc.image
method mainMenuBar : GMenu.menu_shell
method mainStatusBar : GMisc.statusbar
method mainVPanes : GPack.paned
method saveAsMenuItem : GMenu.image_menu_item
method saveMenuItem : GMenu.image_menu_item
method scrolledConsole : GBin.scrolled_window
- method scrolledSequents : GBin.scrolled_window
method separator1 : GMenu.menu_item
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
+ method vbox6 : GPack.box
method viewMenu : GMenu.menu_item
method viewMenu_menu : GMenu.menu
- method viewport1 : GBin.viewport
method xml : Glade.glade_xml Gtk.obj
end
class proofWin :
val reflexivityButton : GButton.button
val replaceButton : GButton.button
val rightButton : GButton.button
- val searchButton : GButton.button
val splitButton : GButton.button
val symmetryButton : GButton.button
val toolBarEventBox : GBin.event_box
method reparent : GObj.widget -> unit
method replaceButton : GButton.button
method rightButton : GButton.button
- method searchButton : GButton.button
method splitButton : GButton.button
method symmetryButton : GButton.button
method toolBarEventBox : GBin.event_box