unit ->
object
val aboutMenuItem : GMenu.menu_item
+ val consoleEventBox : GBin.event_box
val debugMenu : GMenu.menu_item
val debugMenu_menu : GMenu.menu
val editMenu : GMenu.menu_item
val fileMenu_menu : GMenu.menu
val helpMenu : GMenu.menu_item
val helpMenu_menu : GMenu.menu
- val image76 : GMisc.image
- val image77 : GMisc.image
- val image78 : GMisc.image
- val image79 : GMisc.image
- val image80 : GMisc.image
+ val image84 : GMisc.image
+ val image85 : GMisc.image
+ val image86 : GMisc.image
+ val image87 : GMisc.image
+ val image88 : 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 newDefsMenuItem : GMenu.menu_item
val newMenu : GMenu.image_menu_item
val scrolledSequents : GBin.scrolled_window
val separator1 : GMenu.menu_item
val separator2 : GMenu.menu_item
+ val sequentsNotebook : GPack.notebook
val showProofMenuItem : GMenu.check_menu_item
val showToolBarMenuItem : GMenu.check_menu_item
val toplevel : GWindow.window
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 check_widgets : unit -> unit
+ method consoleEventBox : GBin.event_box
method debugMenu : GMenu.menu_item
method debugMenu_menu : GMenu.menu
method editMenu : GMenu.menu_item
method fileMenu_menu : GMenu.menu
method helpMenu : GMenu.menu_item
method helpMenu_menu : GMenu.menu
- method image76 : GMisc.image
- method image77 : GMisc.image
- method image78 : GMisc.image
- method image79 : GMisc.image
- method image80 : GMisc.image
+ method image84 : GMisc.image
+ method image85 : GMisc.image
+ method image86 : GMisc.image
+ method image87 : GMisc.image
+ method image88 : 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 newDefsMenuItem : GMenu.menu_item
method newMenu : GMenu.image_menu_item
method scrolledSequents : GBin.scrolled_window
method separator1 : GMenu.menu_item
method separator2 : GMenu.menu_item
+ method sequentsNotebook : GPack.notebook
method showProofMenuItem : GMenu.check_menu_item
method showToolBarMenuItem : GMenu.check_menu_item
method toplevel : GWindow.window
method viewMenu : GMenu.menu_item
method viewMenu_menu : GMenu.menu
+ method viewport1 : GBin.viewport
method xml : Glade.glade_xml Gtk.obj
end
class proofWin :
unit ->
object
val aboutDismissButton : GButton.button
+ val aboutLabel : GMisc.label
val aboutWin : GWindow.dialog_any
val dialog_action_area2 : GPack.button_box
val dialog_vbox2 : GPack.box
val toplevel : GWindow.dialog_any
val xml : Glade.glade_xml Gtk.obj
method aboutDismissButton : GButton.button
+ method aboutLabel : GMisc.label
method aboutWin : GWindow.dialog_any
method bind : name:string -> callback:(unit -> unit) -> unit
method check_widgets : unit -> unit