+++ /dev/null
-class mainWin :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- unit ->
- object
- val aboutMenuItem : GMenu.menu_item
- 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 image76 : GMisc.image
- val image77 : GMisc.image
- val image78 : GMisc.image
- val image79 : GMisc.image
- val image80 : GMisc.image
- val mainMenuBar : GMenu.menu_shell
- val mainStatusBar : GMisc.statusbar
- val mainVPanes : GPack.paned
- val mainWin : GWindow.window
- val mainWinShape : GPack.box
- 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 scrolledSequents : GBin.scrolled_window
- val separator1 : GMenu.menu_item
- val separator2 : GMenu.menu_item
- 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 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 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 image76 : GMisc.image
- method image77 : GMisc.image
- method image78 : GMisc.image
- method image79 : GMisc.image
- method image80 : GMisc.image
- method mainMenuBar : GMenu.menu_shell
- method mainStatusBar : GMisc.statusbar
- method mainVPanes : GPack.paned
- method mainWin : GWindow.window
- method mainWinShape : GPack.box
- 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 scrolledSequents : GBin.scrolled_window
- method separator1 : GMenu.menu_item
- method separator2 : GMenu.menu_item
- 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 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 viewport1 : GBin.viewport
- 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 viewport1 : GBin.viewport
- method xml : Glade.glade_xml Gtk.obj
- end
-class fileSelectionWin :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- unit ->
- object
- val cancel_button1 : 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 fileSelectionWin : GWindow.file_selection
- method ok_button1 : GButton.button
- method toplevel : GWindow.file_selection
- method xml : Glade.glade_xml Gtk.obj
- end
-class toolBarWin :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- unit ->
- object
- val button1 : GButton.button
- val button2 : GButton.button
- val button3 : GButton.button
- val button4 : GButton.button
- val toolBarEventBox : GBin.event_box
- val toolBarWin : GWindow.window
- val toplevel : GWindow.window
- val vbox1 : GPack.box
- val xml : Glade.glade_xml Gtk.obj
- 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 reparent : GObj.widget -> unit
- method toolBarEventBox : GBin.event_box
- method toolBarWin : GWindow.window
- method toplevel : GWindow.window
- method vbox1 : GPack.box
- method xml : Glade.glade_xml Gtk.obj
- end
-class confirmationDialog :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- unit ->
- object
- val confirmationDialog :
- [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- val confirmationDialogCancelButton : GButton.button
- val confirmationDialogLabel : GMisc.label
- val confirmationDialogOkButton : GButton.button
- val dialog_vbox1 : GPack.box
- val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- val xml : Glade.glade_xml Gtk.obj
- method bind : name:string -> callback:(unit -> unit) -> unit
- method check_widgets : unit -> unit
- method confirmationDialog :
- [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- method confirmationDialogCancelButton : GButton.button
- method confirmationDialogLabel : GMisc.label
- method confirmationDialogOkButton : GButton.button
- method dialog_vbox1 : GPack.box
- method reparent : GObj.widget -> unit
- method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- method xml : Glade.glade_xml Gtk.obj
- end
-class aboutWin :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- unit ->
- object
- val aboutDismissButton : GButton.button
- val aboutWin : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- val dialog_vbox2 : GPack.box
- val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- val xml : Glade.glade_xml Gtk.obj
- method aboutDismissButton : GButton.button
- method aboutWin : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- method bind : name:string -> callback:(unit -> unit) -> unit
- method check_widgets : unit -> unit
- method dialog_vbox2 : GPack.box
- method reparent : GObj.widget -> unit
- method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- 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_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 : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- val uriChoiceAbortButton : GButton.button
- val uriChoiceAutoButton : GButton.button
- val uriChoiceConstantsButton : GButton.button
- val uriChoiceDialog :
- [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- 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_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 : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- method uriChoiceAbortButton : GButton.button
- method uriChoiceAutoButton : GButton.button
- method uriChoiceConstantsButton : GButton.button
- method uriChoiceDialog :
- [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- method uriChoiceLabel : GMisc.label
- method uriChoiceSelectedButton : GButton.button
- method uriChoiceTreeView : GTree.view
- method vbox2 : GPack.box
- method xml : Glade.glade_xml Gtk.obj
- end
-class interpChoiceDialog :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- unit ->
- object
- val dialog_vbox4 : GPack.box
- val interpChoiceCancelButton : GButton.button
- val interpChoiceDialog :
- [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- val interpChoiceHelpButton : GButton.button
- val interpChoiceOkButton : GButton.button
- val label6 : GMisc.label
- val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- 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_vbox4 : GPack.box
- method interpChoiceCancelButton : GButton.button
- method interpChoiceDialog :
- [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- method interpChoiceHelpButton : GButton.button
- method interpChoiceOkButton : GButton.button
- method label6 : GMisc.label
- method reparent : GObj.widget -> unit
- method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- method vbox3 : GPack.box
- method xml : Glade.glade_xml Gtk.obj
- end
-class emptyDialog :
- ?file:string ->
- ?domain:string ->
- ?autoconnect:bool ->
- unit ->
- object
- val emptyDialog : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- val emptyDialogCancelButton : GButton.button
- val emptyDialogLabel : GMisc.label
- val emptyDialogOkButton : GButton.button
- val emptyDialogVBox : GPack.box
- val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- val xml : Glade.glade_xml Gtk.obj
- method bind : name:string -> callback:(unit -> unit) -> unit
- method check_widgets : unit -> unit
- method emptyDialog :
- [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- method emptyDialogCancelButton : GButton.button
- method emptyDialogLabel : GMisc.label
- method emptyDialogOkButton : GButton.button
- method emptyDialogVBox : GPack.box
- method reparent : GObj.widget -> unit
- method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
- method xml : Glade.glade_xml Gtk.obj
- end
-val check_all : ?show:bool -> unit -> unit