object
val aboutMenuItem : GMenu.menu_item
val consoleEventBox : GBin.event_box
+ val consoleHBox : GPack.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 image108 : GMisc.image
- val image109 : GMisc.image
- val image110 : GMisc.image
- val image111 : GMisc.image
- val image112 : GMisc.image
+ val hideConsoleButton : GButton.button
+ val image169 : 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 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 showProofMenuItem : GMenu.check_menu_item
+ val showConsoleMenuItem : GMenu.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 check_widgets : unit -> unit
method consoleEventBox : GBin.event_box
+ method consoleHBox : GPack.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 image108 : GMisc.image
- method image109 : GMisc.image
- method image110 : GMisc.image
- method image111 : GMisc.image
- method image112 : GMisc.image
+ method hideConsoleButton : GButton.button
+ method image169 : 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 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 showProofMenuItem : GMenu.check_menu_item
+ method showConsoleMenuItem : GMenu.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 :
?autoconnect:bool ->
unit ->
object
- val cancel_button1 : GButton.button
+ val fileSelCancelButton : GButton.button
+ val fileSelOkButton : GButton.button
val fileSelectionWin : GWindow.file_selection
- val ok_button1 : GButton.button
val toplevel : GWindow.file_selection
val xml : Glade.glade_xml Gtk.obj
method bind : name:string -> callback:(unit -> unit) -> unit
- method cancel_button1 : GButton.button
method check_widgets : unit -> unit
+ method fileSelCancelButton : GButton.button
+ method fileSelOkButton : GButton.button
method fileSelectionWin : GWindow.file_selection
- method ok_button1 : GButton.button
method toplevel : GWindow.file_selection
method xml : Glade.glade_xml Gtk.obj
end
?autoconnect:bool ->
unit ->
object
- val button1 : GButton.button
- val button2 : GButton.button
- val button3 : GButton.button
- val button4 : GButton.button
+ val applyButton : GButton.button
+ val assumptionButton : GButton.button
+ val autoButton : GButton.button
+ val cutButton : GButton.button
+ val elimButton : GButton.button
+ val elimTypeButton : GButton.button
+ val exactButton : GButton.button
+ val existsButton : GButton.button
+ val introsButton : GButton.button
+ val leftButton : GButton.button
+ val reduceButton : GButton.button
+ val reflexivityButton : GButton.button
+ val replaceButton : GButton.button
+ val rightButton : GButton.button
+ val simplifyButton : GButton.button
+ val splitButton : GButton.button
+ val symmetryButton : GButton.button
val toolBarEventBox : GBin.event_box
+ val toolBarVBox : GPack.box
val toolBarWin : GWindow.window
+ val toolbar2 : GButton.toolbar
+ val toolbar3 : GButton.toolbar
+ val toolbar4 : GButton.toolbar
+ val toolbar5 : GButton.toolbar
+ val toolbar6 : GButton.toolbar
+ val toolbar7 : GButton.toolbar
+ val toolbar8 : GButton.toolbar
val toplevel : GWindow.window
- val vbox1 : GPack.box
- val vbuttonbox1 : GPack.button_box
+ val transitivityButton : GButton.button
+ val whdButton : GButton.button
val xml : Glade.glade_xml Gtk.obj
+ method applyButton : GButton.button
+ method assumptionButton : GButton.button
+ method autoButton : GButton.button
method bind : name:string -> callback:(unit -> unit) -> unit
- method button1 : GButton.button
- method button2 : GButton.button
- method button3 : GButton.button
- method button4 : GButton.button
method check_widgets : unit -> unit
+ method cutButton : GButton.button
+ method elimButton : GButton.button
+ method elimTypeButton : GButton.button
+ method exactButton : GButton.button
+ method existsButton : GButton.button
+ method introsButton : GButton.button
+ method leftButton : GButton.button
+ method reduceButton : GButton.button
+ method reflexivityButton : GButton.button
method reparent : GObj.widget -> unit
+ method replaceButton : GButton.button
+ method rightButton : GButton.button
+ method simplifyButton : GButton.button
+ method splitButton : GButton.button
+ method symmetryButton : GButton.button
method toolBarEventBox : GBin.event_box
+ method toolBarVBox : GPack.box
method toolBarWin : GWindow.window
+ method toolbar2 : GButton.toolbar
+ method toolbar3 : GButton.toolbar
+ method toolbar4 : GButton.toolbar
+ method toolbar5 : GButton.toolbar
+ method toolbar6 : GButton.toolbar
+ method toolbar7 : GButton.toolbar
+ method toolbar8 : GButton.toolbar
method toplevel : GWindow.window
- method vbox1 : GPack.box
- method vbuttonbox1 : GPack.button_box
+ method transitivityButton : GButton.button
+ method whdButton : GButton.button
method xml : Glade.glade_xml Gtk.obj
end
class confirmationDialog :
val dialog_vbox4 : GPack.box
val interpChoiceCancelButton : GButton.button
val interpChoiceDialog : GWindow.dialog_any
+ val interpChoiceDialogLabel : GMisc.label
val interpChoiceHelpButton : GButton.button
val interpChoiceOkButton : GButton.button
- val label6 : GMisc.label
+ val interpChoiceTreeView : GTree.view
+ val scrolledwindow4 : GBin.scrolled_window
val toplevel : GWindow.dialog_any
val vbox3 : GPack.box
val xml : Glade.glade_xml Gtk.obj
method dialog_vbox4 : GPack.box
method interpChoiceCancelButton : GButton.button
method interpChoiceDialog : GWindow.dialog_any
+ method interpChoiceDialogLabel : GMisc.label
method interpChoiceHelpButton : GButton.button
method interpChoiceOkButton : GButton.button
- method label6 : GMisc.label
+ method interpChoiceTreeView : GTree.view
method reparent : GObj.widget -> unit
+ method scrolledwindow4 : GBin.scrolled_window
method toplevel : GWindow.dialog_any
method vbox3 : GPack.box
method xml : Glade.glade_xml Gtk.obj
unit ->
object
val checkWin : GWindow.window
+ val checkWinEventBox : GBin.event_box
+ val scrolledCheck : GBin.scrolled_window
val toplevel : GWindow.window
val xml : Glade.glade_xml Gtk.obj
method bind : name:string -> callback:(unit -> unit) -> unit
method checkWin : GWindow.window
+ method checkWinEventBox : GBin.event_box
method check_widgets : unit -> unit
+ method reparent : GObj.widget -> unit
+ method scrolledCheck : GBin.scrolled_window
+ method toplevel : GWindow.window
+ method xml : Glade.glade_xml Gtk.obj
+ end
+class scriptWin :
+ ?file:string ->
+ ?domain:string ->
+ ?autoconnect:bool ->
+ unit ->
+ object
+ val image133 : GMisc.image
+ val image134 : GMisc.image
+ val image135 : GMisc.image
+ val label7 : GMisc.label
+ val label8 : GMisc.label
+ val scriptNotebook : GPack.notebook
+ val scriptTextView : GText.view
+ val scriptWin : GWindow.window
+ val scriptWinBackButton : GButton.button
+ val scriptWinEventBox : GBin.event_box
+ val scriptWinForwardButton : GButton.button
+ val scriptWinJumpButton : GButton.button
+ val scrolledScript : GBin.scrolled_window
+ val scrolledwindow3 : GBin.scrolled_window
+ val toolbar1 : GButton.toolbar
+ val toplevel : GWindow.window
+ val treeview1 : GTree.view
+ val vbox4 : GPack.box
+ val xml : Glade.glade_xml Gtk.obj
+ method bind : name:string -> callback:(unit -> unit) -> unit
+ method check_widgets : unit -> unit
+ method image133 : GMisc.image
+ method image134 : GMisc.image
+ method image135 : GMisc.image
+ method label7 : GMisc.label
+ method label8 : GMisc.label
+ method reparent : GObj.widget -> unit
+ method scriptNotebook : GPack.notebook
+ method scriptTextView : GText.view
+ method scriptWin : GWindow.window
+ method scriptWinBackButton : GButton.button
+ method scriptWinEventBox : GBin.event_box
+ method scriptWinForwardButton : GButton.button
+ method scriptWinJumpButton : GButton.button
+ method scrolledScript : GBin.scrolled_window
+ method scrolledwindow3 : GBin.scrolled_window
+ method toolbar1 : GButton.toolbar
+ method toplevel : GWindow.window
+ method treeview1 : GTree.view
+ method vbox4 : GPack.box
+ method xml : Glade.glade_xml Gtk.obj
+ end
+class textDialog :
+ ?file:string ->
+ ?domain:string ->
+ ?autoconnect:bool ->
+ unit ->
+ object
+ val hbuttonbox1 : GPack.button_box
+ val scrolledwindow2 : GBin.scrolled_window
+ val textDialog : GWindow.dialog_any
+ val textDialogCancelButton : GButton.button
+ val textDialogLabel : GMisc.label
+ val textDialogOkButton : GButton.button
+ val textDialogTextView : GText.view
+ val toplevel : GWindow.dialog_any
+ val vbox5 : GPack.box
+ val xml : Glade.glade_xml Gtk.obj
+ method bind : name:string -> callback:(unit -> unit) -> unit
+ method check_widgets : unit -> unit
+ method hbuttonbox1 : GPack.button_box
+ method reparent : GObj.widget -> unit
+ method scrolledwindow2 : GBin.scrolled_window
+ method textDialog : GWindow.dialog_any
+ method textDialogCancelButton : GButton.button
+ method textDialogLabel : GMisc.label
+ method textDialogOkButton : GButton.button
+ method textDialogTextView : GText.view
+ method toplevel : GWindow.dialog_any
+ method vbox5 : GPack.box
+ method xml : Glade.glade_xml Gtk.obj
+ end
+class browserWin :
+ ?file:string ->
+ ?domain:string ->
+ ?autoconnect:bool ->
+ unit ->
+ object
+ val alignment3 : GBin.alignment
+ 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 hbox6 : GPack.box
+ val hbox7 : GPack.box
+ val image187 : GMisc.image
+ 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 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 frame1 : GBin.frame
+ method hbox6 : GPack.box
+ method hbox7 : GPack.box
+ method image187 : GMisc.image
+ 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 xml : Glade.glade_xml Gtk.obj
end