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