+++ /dev/null
-class aboutWin :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- 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
- method dialog_action_area2 : GPack.button_box
- method dialog_vbox2 : GPack.box
- method reparent : GObj.widget -> unit
- method toplevel : GWindow.dialog_any
- 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 handlebox1 : GBin.handle_box
- 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 handlebox1 : GBin.handle_box
- 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
-class confirmationDialog :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- unit ->
- object
- val confirmationDialog : GWindow.dialog_any
- val confirmationDialogCancelButton : GButton.button
- val confirmationDialogLabel : GMisc.label
- val confirmationDialogOkButton : GButton.button
- val dialog_action_area1 : GPack.button_box
- val dialog_vbox1 : GPack.box
- val toplevel : GWindow.dialog_any
- val xml : Glade.glade_xml Gtk.obj
- method bind : name:string -> callback:(unit -> unit) -> unit
- method check_widgets : unit -> unit
- method confirmationDialog : GWindow.dialog_any
- method confirmationDialogCancelButton : GButton.button
- method confirmationDialogLabel : GMisc.label
- method confirmationDialogOkButton : GButton.button
- method dialog_action_area1 : GPack.button_box
- method dialog_vbox1 : GPack.box
- method reparent : GObj.widget -> unit
- method toplevel : GWindow.dialog_any
- method xml : Glade.glade_xml Gtk.obj
- end
-class emptyDialog :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- unit ->
- object
- val dialog_action_area5 : GPack.button_box
- val emptyDialog : GWindow.dialog_any
- val emptyDialogCancelButton : GButton.button
- val emptyDialogLabel : GMisc.label
- val emptyDialogOkButton : GButton.button
- val emptyDialogVBox : GPack.box
- val toplevel : GWindow.dialog_any
- val xml : Glade.glade_xml Gtk.obj
- method bind : name:string -> callback:(unit -> unit) -> unit
- method check_widgets : unit -> unit
- method dialog_action_area5 : GPack.button_box
- method emptyDialog : GWindow.dialog_any
- method emptyDialogCancelButton : GButton.button
- method emptyDialogLabel : GMisc.label
- method emptyDialogOkButton : GButton.button
- method emptyDialogVBox : GPack.box
- method reparent : GObj.widget -> unit
- method toplevel : GWindow.dialog_any
- method xml : Glade.glade_xml Gtk.obj
- end
-class fileSelectionWin :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- unit ->
- object
- val fileSelCancelButton : GButton.button
- val fileSelOkButton : GButton.button
- val fileSelectionWin : GWindow.file_selection
- val toplevel : GWindow.file_selection
- val xml : Glade.glade_xml Gtk.obj
- method bind : name:string -> callback:(unit -> unit) -> unit
- method check_widgets : unit -> unit
- method fileSelCancelButton : GButton.button
- method fileSelOkButton : GButton.button
- method fileSelectionWin : GWindow.file_selection
- method toplevel : GWindow.file_selection
- method xml : Glade.glade_xml Gtk.obj
- end
-class interpChoiceDialog :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- unit ->
- object
- val dialog_action_area4 : GPack.button_box
- 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 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 bind : name:string -> callback:(unit -> unit) -> unit
- method check_widgets : unit -> unit
- method dialog_action_area4 : GPack.button_box
- 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 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
- end
-class mainWin :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- unit ->
- 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 : GMenu.menu_item
- val fileMenu_menu : GMenu.menu
- val helpMenu : GMenu.menu_item
- val helpMenu_menu : GMenu.menu
- 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 newProofMenuItem : GMenu.menu_item
- val openMenuItem : GMenu.image_menu_item
- val quitMenuItem : GMenu.image_menu_item
- val saveAsMenuItem : GMenu.image_menu_item
- val saveMenuItem : GMenu.image_menu_item
- val scrolledConsole : GBin.scrolled_window
- val separator1 : GMenu.menu_item
- val separator2 : GMenu.menu_item
- val separator3 : GMenu.menu_item
- val sequentsNotebook : GPack.notebook
- 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 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 : GMenu.menu_item
- method fileMenu_menu : GMenu.menu
- method helpMenu : GMenu.menu_item
- method helpMenu_menu : GMenu.menu
- 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 newProofMenuItem : GMenu.menu_item
- method openMenuItem : GMenu.image_menu_item
- method quitMenuItem : GMenu.image_menu_item
- method reparent : GObj.widget -> unit
- method saveAsMenuItem : GMenu.image_menu_item
- method saveMenuItem : GMenu.image_menu_item
- method scrolledConsole : GBin.scrolled_window
- method separator1 : GMenu.menu_item
- method separator2 : GMenu.menu_item
- method separator3 : GMenu.menu_item
- method sequentsNotebook : GPack.notebook
- 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 xml : Glade.glade_xml Gtk.obj
- end
-class scriptWin :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- unit ->
- object
- val handlebox2 : GBin.handle_box
- val hbox8 : GPack.box
- val image134 : GMisc.image
- val image235 : GMisc.image
- val image237 : GMisc.image
- val image238 : GMisc.image
- val image239 : GMisc.image
- val label7 : GMisc.label
- val label8 : GMisc.label
- val outlineTreeView : GTree.view
- val scriptNotebook : GPack.notebook
- val scriptTextView : GText.view
- val scriptWin : GWindow.window
- val scriptWinBackButton : GButton.button
- val scriptWinBottomButton : GButton.button
- val scriptWinEventBox : GBin.event_box
- val scriptWinForwardButton : GButton.button
- val scriptWinJumpButton : GButton.button
- val scriptWinTopButton : GButton.button
- val scrolledOutline : GBin.scrolled_window
- val scrolledScript : GBin.scrolled_window
- val toplevel : GWindow.window
- val vbox7 : GPack.box
- val xml : Glade.glade_xml Gtk.obj
- method bind : name:string -> callback:(unit -> unit) -> unit
- method check_widgets : unit -> unit
- method handlebox2 : GBin.handle_box
- method hbox8 : GPack.box
- method image134 : GMisc.image
- method image235 : GMisc.image
- method image237 : GMisc.image
- method image238 : GMisc.image
- method image239 : GMisc.image
- method label7 : GMisc.label
- method label8 : GMisc.label
- method outlineTreeView : GTree.view
- method reparent : GObj.widget -> unit
- method scriptNotebook : GPack.notebook
- method scriptTextView : GText.view
- method scriptWin : GWindow.window
- method scriptWinBackButton : GButton.button
- method scriptWinBottomButton : GButton.button
- method scriptWinEventBox : GBin.event_box
- method scriptWinForwardButton : GButton.button
- method scriptWinJumpButton : GButton.button
- method scriptWinTopButton : GButton.button
- method scrolledOutline : GBin.scrolled_window
- method scrolledScript : GBin.scrolled_window
- method toplevel : GWindow.window
- method vbox7 : 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 toolBarWin :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- unit ->
- object
- 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 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 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 transitivityButton : GButton.button
- method whdButton : GButton.button
- method xml : Glade.glade_xml Gtk.obj
- end
-class uriChoiceDialog :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- unit ->
- object
- val alignment1 : GBin.alignment
- val alignment2 : GBin.alignment
- val dialog_action_area3 : GPack.button_box
- val dialog_vbox3 : GPack.box
- val entry1 : GEdit.entry
- val hbox1 : GPack.box
- val hbox2 : GPack.box
- val hbox3 : GPack.box
- val image18 : GMisc.image
- val image19 : GMisc.image
- val label1 : GMisc.label
- val label2 : GMisc.label
- val label3 : GMisc.label
- val scrolledwindow1 : GBin.scrolled_window
- val toplevel : GWindow.dialog_any
- val uriChoiceAbortButton : GButton.button
- val uriChoiceAutoButton : GButton.button
- val uriChoiceConstantsButton : GButton.button
- val uriChoiceDialog : GWindow.dialog_any
- val uriChoiceLabel : GMisc.label
- val uriChoiceSelectedButton : GButton.button
- val uriChoiceTreeView : GTree.view
- val vbox2 : GPack.box
- val xml : Glade.glade_xml Gtk.obj
- method alignment1 : GBin.alignment
- method alignment2 : GBin.alignment
- method bind : name:string -> callback:(unit -> unit) -> unit
- method check_widgets : unit -> unit
- method dialog_action_area3 : GPack.button_box
- method dialog_vbox3 : GPack.box
- method entry1 : GEdit.entry
- method hbox1 : GPack.box
- method hbox2 : GPack.box
- method hbox3 : GPack.box
- method image18 : GMisc.image
- method image19 : GMisc.image
- method label1 : GMisc.label
- method label2 : GMisc.label
- method label3 : GMisc.label
- method reparent : GObj.widget -> unit
- method scrolledwindow1 : GBin.scrolled_window
- method toplevel : GWindow.dialog_any
- method uriChoiceAbortButton : GButton.button
- method uriChoiceAutoButton : GButton.button
- method uriChoiceConstantsButton : GButton.button
- method uriChoiceDialog : GWindow.dialog_any
- method uriChoiceLabel : GMisc.label
- method uriChoiceSelectedButton : GButton.button
- method uriChoiceTreeView : GTree.view
- method vbox2 : GPack.box
- method xml : Glade.glade_xml Gtk.obj
- end
-val check_all : ?show:bool -> unit -> unit