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 image128 : GMisc.image
- val image129 : GMisc.image
- val image130 : GMisc.image
- val image131 : GMisc.image
- val image132 : 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 image128 : GMisc.image
- method image129 : GMisc.image
- method image130 : GMisc.image
- method image131 : GMisc.image
- method image132 : 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 :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- unit ->
- object
- val proofWin : GWindow.window
- val proofWinEventBox : GBin.event_box
- val scrolledProof : GBin.scrolled_window
- val toplevel : GWindow.window
- val xml : Glade.glade_xml Gtk.obj
- method bind : name:string -> callback:(unit -> unit) -> unit
- method check_widgets : unit -> unit
- method proofWin : GWindow.window
- method proofWinEventBox : GBin.event_box
- method reparent : GObj.widget -> unit
- method scrolledProof : GBin.scrolled_window
- method toplevel : GWindow.window
method xml : Glade.glade_xml Gtk.obj
end
class fileSelectionWin :
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 searchButton : GButton.button
+ val simplifyButton : GButton.button
val splitButton : GButton.button
val symmetryButton : GButton.button
val toolBarEventBox : GBin.event_box
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 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 searchButton : GButton.button
+ method simplifyButton : GButton.button
method splitButton : GButton.button
method symmetryButton : GButton.button
method toolBarEventBox : GBin.event_box
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 confirmationDialog :
method toplevel : GWindow.dialog_any
method xml : Glade.glade_xml Gtk.obj
end
-class checkWin :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- 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 handlebox2 : GBin.handle_box
+ val hbox8 : GPack.box
val image133 : GMisc.image
val image134 : GMisc.image
val image135 : GMisc.image
+ val image235 : GMisc.image
+ val image236 : 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 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 scrolledwindow3 : GBin.scrolled_window
- val toolbar1 : GButton.toolbar
val toplevel : GWindow.window
val treeview1 : GTree.view
- val vbox4 : GPack.box
+ 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 image133 : GMisc.image
method image134 : GMisc.image
method image135 : GMisc.image
+ method image235 : GMisc.image
+ method image236 : GMisc.image
method label7 : GMisc.label
method label8 : GMisc.label
method reparent : GObj.widget -> unit
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 scrolledwindow3 : GBin.scrolled_window
- method toolbar1 : GButton.toolbar
method toplevel : GWindow.window
method treeview1 : GTree.view
- method vbox4 : GPack.box
+ method vbox7 : GPack.box
method xml : Glade.glade_xml Gtk.obj
end
class textDialog :
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 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
val check_all : ?show:bool -> unit -> unit