helm/matita/matitaGeneratedGui.mli

   1 class mainWin :
   2   ?file:string ->
   3   ?domain:string ->
   4   ?autoconnect:bool ->
   5   unit ->
   6   object
   7     val aboutMenuItem : GMenu.menu_item
   8     val debugMenu : GMenu.menu_item
   9     val debugMenu_menu : GMenu.menu
  10     val editMenu : GMenu.menu_item
  11     val fileMenu : GMenu.menu_item
  12     val fileMenu_menu : GMenu.menu
  13     val helpMenu : GMenu.menu_item
  14     val helpMenu_menu : GMenu.menu
  15     val image76 : GMisc.image
  16     val image77 : GMisc.image
  17     val image78 : GMisc.image
  18     val image79 : GMisc.image
  19     val image80 : GMisc.image
  20     val mainMenuBar : GMenu.menu_shell
  21     val mainStatusBar : GMisc.statusbar
  22     val mainVPanes : GPack.paned
  23     val mainWin : GWindow.window
  24     val mainWinShape : GPack.box
  25     val newDefsMenuItem : GMenu.menu_item
  26     val newMenu : GMenu.image_menu_item
  27     val newMenu_menu : GMenu.menu
  28     val newProofMenuItem : GMenu.menu_item
  29     val openMenuItem : GMenu.image_menu_item
  30     val quitMenuItem : GMenu.image_menu_item
  31     val saveAsMenuItem : GMenu.image_menu_item
  32     val saveMenuItem : GMenu.image_menu_item
  33     val scrolledConsole : GBin.scrolled_window
  34     val scrolledSequents : GBin.scrolled_window
  35     val separator1 : GMenu.menu_item
  36     val separator2 : GMenu.menu_item
  37     val showProofMenuItem : GMenu.check_menu_item
  38     val showToolBarMenuItem : GMenu.check_menu_item
  39     val toplevel : GWindow.window
  40     val viewMenu : GMenu.menu_item
  41     val viewMenu_menu : GMenu.menu
  42     val xml : Glade.glade_xml Gtk.obj
  43     method aboutMenuItem : GMenu.menu_item
  44     method bind : name:string -> callback:(unit -> unit) -> unit
  45     method check_widgets : unit -> unit
  46     method debugMenu : GMenu.menu_item
  47     method debugMenu_menu : GMenu.menu
  48     method editMenu : GMenu.menu_item
  49     method fileMenu : GMenu.menu_item
  50     method fileMenu_menu : GMenu.menu
  51     method helpMenu : GMenu.menu_item
  52     method helpMenu_menu : GMenu.menu
  53     method image76 : GMisc.image
  54     method image77 : GMisc.image
  55     method image78 : GMisc.image
  56     method image79 : GMisc.image
  57     method image80 : GMisc.image
  58     method mainMenuBar : GMenu.menu_shell
  59     method mainStatusBar : GMisc.statusbar
  60     method mainVPanes : GPack.paned
  61     method mainWin : GWindow.window
  62     method mainWinShape : GPack.box
  63     method newDefsMenuItem : GMenu.menu_item
  64     method newMenu : GMenu.image_menu_item
  65     method newMenu_menu : GMenu.menu
  66     method newProofMenuItem : GMenu.menu_item
  67     method openMenuItem : GMenu.image_menu_item
  68     method quitMenuItem : GMenu.image_menu_item
  69     method reparent : GObj.widget -> unit
  70     method saveAsMenuItem : GMenu.image_menu_item
  71     method saveMenuItem : GMenu.image_menu_item
  72     method scrolledConsole : GBin.scrolled_window
  73     method scrolledSequents : GBin.scrolled_window
  74     method separator1 : GMenu.menu_item
  75     method separator2 : GMenu.menu_item
  76     method showProofMenuItem : GMenu.check_menu_item
  77     method showToolBarMenuItem : GMenu.check_menu_item
  78     method toplevel : GWindow.window
  79     method viewMenu : GMenu.menu_item
  80     method viewMenu_menu : GMenu.menu
  81     method xml : Glade.glade_xml Gtk.obj
  82   end
  83 class proofWin :
  84   ?file:string ->
  85   ?domain:string ->
  86   ?autoconnect:bool ->
  87   unit ->
  88   object
  89     val proofWin : GWindow.window
  90     val proofWinEventBox : GBin.event_box
  91     val scrolledProof : GBin.scrolled_window
  92     val toplevel : GWindow.window
  93     val viewport1 : GBin.viewport
  94     val xml : Glade.glade_xml Gtk.obj
  95     method bind : name:string -> callback:(unit -> unit) -> unit
  96     method check_widgets : unit -> unit
  97     method proofWin : GWindow.window
  98     method proofWinEventBox : GBin.event_box
  99     method reparent : GObj.widget -> unit
 100     method scrolledProof : GBin.scrolled_window
 101     method toplevel : GWindow.window
 102     method viewport1 : GBin.viewport
 103     method xml : Glade.glade_xml Gtk.obj
 104   end
 105 class fileSelectionWin :
 106   ?file:string ->
 107   ?domain:string ->
 108   ?autoconnect:bool ->
 109   unit ->
 110   object
 111     val cancel_button1 : GButton.button
 112     val fileSelectionWin : GWindow.file_selection
 113     val ok_button1 : GButton.button
 114     val toplevel : GWindow.file_selection
 115     val xml : Glade.glade_xml Gtk.obj
 116     method bind : name:string -> callback:(unit -> unit) -> unit
 117     method cancel_button1 : GButton.button
 118     method check_widgets : unit -> unit
 119     method fileSelectionWin : GWindow.file_selection
 120     method ok_button1 : GButton.button
 121     method toplevel : GWindow.file_selection
 122     method xml : Glade.glade_xml Gtk.obj
 123   end
 124 class toolBarWin :
 125   ?file:string ->
 126   ?domain:string ->
 127   ?autoconnect:bool ->
 128   unit ->
 129   object
 130     val button1 : GButton.button
 131     val button2 : GButton.button
 132     val button3 : GButton.button
 133     val button4 : GButton.button
 134     val toolBarEventBox : GBin.event_box
 135     val toolBarWin : GWindow.window
 136     val toplevel : GWindow.window
 137     val vbox1 : GPack.box
 138     val xml : Glade.glade_xml Gtk.obj
 139     method bind : name:string -> callback:(unit -> unit) -> unit
 140     method button1 : GButton.button
 141     method button2 : GButton.button
 142     method button3 : GButton.button
 143     method button4 : GButton.button
 144     method check_widgets : unit -> unit
 145     method reparent : GObj.widget -> unit
 146     method toolBarEventBox : GBin.event_box
 147     method toolBarWin : GWindow.window
 148     method toplevel : GWindow.window
 149     method vbox1 : GPack.box
 150     method xml : Glade.glade_xml Gtk.obj
 151   end
 152 class confirmationDialog :
 153   ?file:string ->
 154   ?domain:string ->
 155   ?autoconnect:bool ->
 156   unit ->
 157   object
 158     val confirmationDialog :
 159       [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 160     val confirmationDialogCancelButton : GButton.button
 161     val confirmationDialogLabel : GMisc.label
 162     val confirmationDialogOkButton : GButton.button
 163     val dialog_vbox1 : GPack.box
 164     val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 165     val xml : Glade.glade_xml Gtk.obj
 166     method bind : name:string -> callback:(unit -> unit) -> unit
 167     method check_widgets : unit -> unit
 168     method confirmationDialog :
 169       [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 170     method confirmationDialogCancelButton : GButton.button
 171     method confirmationDialogLabel : GMisc.label
 172     method confirmationDialogOkButton : GButton.button
 173     method dialog_vbox1 : GPack.box
 174     method reparent : GObj.widget -> unit
 175     method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 176     method xml : Glade.glade_xml Gtk.obj
 177   end
 178 class aboutWin :
 179   ?file:string ->
 180   ?domain:string ->
 181   ?autoconnect:bool ->
 182   unit ->
 183   object
 184     val aboutDismissButton : GButton.button
 185     val aboutWin : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 186     val dialog_vbox2 : GPack.box
 187     val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 188     val xml : Glade.glade_xml Gtk.obj
 189     method aboutDismissButton : GButton.button
 190     method aboutWin : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 191     method bind : name:string -> callback:(unit -> unit) -> unit
 192     method check_widgets : unit -> unit
 193     method dialog_vbox2 : GPack.box
 194     method reparent : GObj.widget -> unit
 195     method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 196     method xml : Glade.glade_xml Gtk.obj
 197   end
 198 class uriChoiceDialog :
 199   ?file:string ->
 200   ?domain:string ->
 201   ?autoconnect:bool ->
 202   unit ->
 203   object
 204     val alignment1 : GBin.alignment
 205     val alignment2 : GBin.alignment
 206     val dialog_vbox3 : GPack.box
 207     val entry1 : GEdit.entry
 208     val hbox1 : GPack.box
 209     val hbox2 : GPack.box
 210     val hbox3 : GPack.box
 211     val image18 : GMisc.image
 212     val image19 : GMisc.image
 213     val label1 : GMisc.label
 214     val label2 : GMisc.label
 215     val label3 : GMisc.label
 216     val scrolledwindow1 : GBin.scrolled_window
 217     val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 218     val uriChoiceAbortButton : GButton.button
 219     val uriChoiceAutoButton : GButton.button
 220     val uriChoiceConstantsButton : GButton.button
 221     val uriChoiceDialog :
 222       [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 223     val uriChoiceLabel : GMisc.label
 224     val uriChoiceSelectedButton : GButton.button
 225     val uriChoiceTreeView : GTree.view
 226     val vbox2 : GPack.box
 227     val xml : Glade.glade_xml Gtk.obj
 228     method alignment1 : GBin.alignment
 229     method alignment2 : GBin.alignment
 230     method bind : name:string -> callback:(unit -> unit) -> unit
 231     method check_widgets : unit -> unit
 232     method dialog_vbox3 : GPack.box
 233     method entry1 : GEdit.entry
 234     method hbox1 : GPack.box
 235     method hbox2 : GPack.box
 236     method hbox3 : GPack.box
 237     method image18 : GMisc.image
 238     method image19 : GMisc.image
 239     method label1 : GMisc.label
 240     method label2 : GMisc.label
 241     method label3 : GMisc.label
 242     method reparent : GObj.widget -> unit
 243     method scrolledwindow1 : GBin.scrolled_window
 244     method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 245     method uriChoiceAbortButton : GButton.button
 246     method uriChoiceAutoButton : GButton.button
 247     method uriChoiceConstantsButton : GButton.button
 248     method uriChoiceDialog :
 249       [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 250     method uriChoiceLabel : GMisc.label
 251     method uriChoiceSelectedButton : GButton.button
 252     method uriChoiceTreeView : GTree.view
 253     method vbox2 : GPack.box
 254     method xml : Glade.glade_xml Gtk.obj
 255   end
 256 class interpChoiceDialog :
 257   ?file:string ->
 258   ?domain:string ->
 259   ?autoconnect:bool ->
 260   unit ->
 261   object
 262     val dialog_vbox4 : GPack.box
 263     val interpChoiceCancelButton : GButton.button
 264     val interpChoiceDialog :
 265       [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 266     val interpChoiceHelpButton : GButton.button
 267     val interpChoiceOkButton : GButton.button
 268     val label6 : GMisc.label
 269     val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 270     val vbox3 : GPack.box
 271     val xml : Glade.glade_xml Gtk.obj
 272     method bind : name:string -> callback:(unit -> unit) -> unit
 273     method check_widgets : unit -> unit
 274     method dialog_vbox4 : GPack.box
 275     method interpChoiceCancelButton : GButton.button
 276     method interpChoiceDialog :
 277       [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 278     method interpChoiceHelpButton : GButton.button
 279     method interpChoiceOkButton : GButton.button
 280     method label6 : GMisc.label
 281     method reparent : GObj.widget -> unit
 282     method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 283     method vbox3 : GPack.box
 284     method xml : Glade.glade_xml Gtk.obj
 285   end
 286 class emptyDialog :
 287   ?file:string ->
 288   ?domain:string ->
 289   ?autoconnect:bool ->
 290   unit ->
 291   object
 292     val emptyDialog : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 293     val emptyDialogCancelButton : GButton.button
 294     val emptyDialogLabel : GMisc.label
 295     val emptyDialogOkButton : GButton.button
 296     val emptyDialogVBox : GPack.box
 297     val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 298     val xml : Glade.glade_xml Gtk.obj
 299     method bind : name:string -> callback:(unit -> unit) -> unit
 300     method check_widgets : unit -> unit
 301     method emptyDialog :
 302       [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 303     method emptyDialogCancelButton : GButton.button
 304     method emptyDialogLabel : GMisc.label
 305     method emptyDialogOkButton : GButton.button
 306     method emptyDialogVBox : GPack.box
 307     method reparent : GObj.widget -> unit
 308     method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 309     method xml : Glade.glade_xml Gtk.obj
 310   end
 311 val check_all : ?show:bool -> unit -> unit