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