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 applyButton : GButton.button
 141     val assumptionButton : GButton.button
 142     val autoButton : GButton.button
 143     val cutButton : GButton.button
 144     val elimButton : GButton.button
 145     val elimTypeButton : GButton.button
 146     val exactButton : GButton.button
 147     val existsButton : GButton.button
 148     val introsButton : GButton.button
 149     val leftButton : GButton.button
 150     val reflexivityButton : GButton.button
 151     val replaceButton : GButton.button
 152     val rightButton : GButton.button
 153     val searchButton : GButton.button
 154     val splitButton : GButton.button
 155     val symmetryButton : GButton.button
 156     val toolBarEventBox : GBin.event_box
 157     val toolBarVBox : GPack.box
 158     val toolBarWin : GWindow.window
 159     val toolbar2 : GButton.toolbar
 160     val toolbar3 : GButton.toolbar
 161     val toolbar4 : GButton.toolbar
 162     val toolbar5 : GButton.toolbar
 163     val toolbar6 : GButton.toolbar
 164     val toolbar7 : GButton.toolbar
 165     val toplevel : GWindow.window
 166     val transitivityButton : GButton.button
 167     val xml : Glade.glade_xml Gtk.obj
 168     method applyButton : GButton.button
 169     method assumptionButton : GButton.button
 170     method autoButton : GButton.button
 171     method bind : name:string -> callback:(unit -> unit) -> unit
 172     method check_widgets : unit -> unit
 173     method cutButton : GButton.button
 174     method elimButton : GButton.button
 175     method elimTypeButton : GButton.button
 176     method exactButton : GButton.button
 177     method existsButton : GButton.button
 178     method introsButton : GButton.button
 179     method leftButton : GButton.button
 180     method reflexivityButton : GButton.button
 181     method reparent : GObj.widget -> unit
 182     method replaceButton : GButton.button
 183     method rightButton : GButton.button
 184     method searchButton : GButton.button
 185     method splitButton : GButton.button
 186     method symmetryButton : GButton.button
 187     method toolBarEventBox : GBin.event_box
 188     method toolBarVBox : GPack.box
 189     method toolBarWin : GWindow.window
 190     method toolbar2 : GButton.toolbar
 191     method toolbar3 : GButton.toolbar
 192     method toolbar4 : GButton.toolbar
 193     method toolbar5 : GButton.toolbar
 194     method toolbar6 : GButton.toolbar
 195     method toolbar7 : GButton.toolbar
 196     method toplevel : GWindow.window
 197     method transitivityButton : GButton.button
 198     method xml : Glade.glade_xml Gtk.obj
 199   end
 200 class confirmationDialog :
 201   ?file:string ->
 202   ?domain:string ->
 203   ?autoconnect:bool ->
 204   unit ->
 205   object
 206     val confirmationDialog : GWindow.dialog_any
 207     val confirmationDialogCancelButton : GButton.button
 208     val confirmationDialogLabel : GMisc.label
 209     val confirmationDialogOkButton : GButton.button
 210     val dialog_action_area1 : GPack.button_box
 211     val dialog_vbox1 : GPack.box
 212     val toplevel : GWindow.dialog_any
 213     val xml : Glade.glade_xml Gtk.obj
 214     method bind : name:string -> callback:(unit -> unit) -> unit
 215     method check_widgets : unit -> unit
 216     method confirmationDialog : GWindow.dialog_any
 217     method confirmationDialogCancelButton : GButton.button
 218     method confirmationDialogLabel : GMisc.label
 219     method confirmationDialogOkButton : GButton.button
 220     method dialog_action_area1 : GPack.button_box
 221     method dialog_vbox1 : GPack.box
 222     method reparent : GObj.widget -> unit
 223     method toplevel : GWindow.dialog_any
 224     method xml : Glade.glade_xml Gtk.obj
 225   end
 226 class aboutWin :
 227   ?file:string ->
 228   ?domain:string ->
 229   ?autoconnect:bool ->
 230   unit ->
 231   object
 232     val aboutDismissButton : GButton.button
 233     val aboutLabel : GMisc.label
 234     val aboutWin : GWindow.dialog_any
 235     val dialog_action_area2 : GPack.button_box
 236     val dialog_vbox2 : GPack.box
 237     val toplevel : GWindow.dialog_any
 238     val xml : Glade.glade_xml Gtk.obj
 239     method aboutDismissButton : GButton.button
 240     method aboutLabel : GMisc.label
 241     method aboutWin : GWindow.dialog_any
 242     method bind : name:string -> callback:(unit -> unit) -> unit
 243     method check_widgets : unit -> unit
 244     method dialog_action_area2 : GPack.button_box
 245     method dialog_vbox2 : GPack.box
 246     method reparent : GObj.widget -> unit
 247     method toplevel : GWindow.dialog_any
 248     method xml : Glade.glade_xml Gtk.obj
 249   end
 250 class uriChoiceDialog :
 251   ?file:string ->
 252   ?domain:string ->
 253   ?autoconnect:bool ->
 254   unit ->
 255   object
 256     val alignment1 : GBin.alignment
 257     val alignment2 : GBin.alignment
 258     val dialog_action_area3 : GPack.button_box
 259     val dialog_vbox3 : GPack.box
 260     val entry1 : GEdit.entry
 261     val hbox1 : GPack.box
 262     val hbox2 : GPack.box
 263     val hbox3 : GPack.box
 264     val image18 : GMisc.image
 265     val image19 : GMisc.image
 266     val label1 : GMisc.label
 267     val label2 : GMisc.label
 268     val label3 : GMisc.label
 269     val scrolledwindow1 : GBin.scrolled_window
 270     val toplevel : GWindow.dialog_any
 271     val uriChoiceAbortButton : GButton.button
 272     val uriChoiceAutoButton : GButton.button
 273     val uriChoiceConstantsButton : GButton.button
 274     val uriChoiceDialog : GWindow.dialog_any
 275     val uriChoiceLabel : GMisc.label
 276     val uriChoiceSelectedButton : GButton.button
 277     val uriChoiceTreeView : GTree.view
 278     val vbox2 : GPack.box
 279     val xml : Glade.glade_xml Gtk.obj
 280     method alignment1 : GBin.alignment
 281     method alignment2 : GBin.alignment
 282     method bind : name:string -> callback:(unit -> unit) -> unit
 283     method check_widgets : unit -> unit
 284     method dialog_action_area3 : GPack.button_box
 285     method dialog_vbox3 : GPack.box
 286     method entry1 : GEdit.entry
 287     method hbox1 : GPack.box
 288     method hbox2 : GPack.box
 289     method hbox3 : GPack.box
 290     method image18 : GMisc.image
 291     method image19 : GMisc.image
 292     method label1 : GMisc.label
 293     method label2 : GMisc.label
 294     method label3 : GMisc.label
 295     method reparent : GObj.widget -> unit
 296     method scrolledwindow1 : GBin.scrolled_window
 297     method toplevel : GWindow.dialog_any
 298     method uriChoiceAbortButton : GButton.button
 299     method uriChoiceAutoButton : GButton.button
 300     method uriChoiceConstantsButton : GButton.button
 301     method uriChoiceDialog : GWindow.dialog_any
 302     method uriChoiceLabel : GMisc.label
 303     method uriChoiceSelectedButton : GButton.button
 304     method uriChoiceTreeView : GTree.view
 305     method vbox2 : GPack.box
 306     method xml : Glade.glade_xml Gtk.obj
 307   end
 308 class interpChoiceDialog :
 309   ?file:string ->
 310   ?domain:string ->
 311   ?autoconnect:bool ->
 312   unit ->
 313   object
 314     val dialog_action_area4 : GPack.button_box
 315     val dialog_vbox4 : GPack.box
 316     val interpChoiceCancelButton : GButton.button
 317     val interpChoiceDialog : GWindow.dialog_any
 318     val interpChoiceDialogLabel : GMisc.label
 319     val interpChoiceHelpButton : GButton.button
 320     val interpChoiceOkButton : GButton.button
 321     val interpChoiceTreeView : GTree.view
 322     val scrolledwindow4 : GBin.scrolled_window
 323     val toplevel : GWindow.dialog_any
 324     val vbox3 : GPack.box
 325     val xml : Glade.glade_xml Gtk.obj
 326     method bind : name:string -> callback:(unit -> unit) -> unit
 327     method check_widgets : unit -> unit
 328     method dialog_action_area4 : GPack.button_box
 329     method dialog_vbox4 : GPack.box
 330     method interpChoiceCancelButton : GButton.button
 331     method interpChoiceDialog : GWindow.dialog_any
 332     method interpChoiceDialogLabel : GMisc.label
 333     method interpChoiceHelpButton : GButton.button
 334     method interpChoiceOkButton : GButton.button
 335     method interpChoiceTreeView : GTree.view
 336     method reparent : GObj.widget -> unit
 337     method scrolledwindow4 : GBin.scrolled_window
 338     method toplevel : GWindow.dialog_any
 339     method vbox3 : GPack.box
 340     method xml : Glade.glade_xml Gtk.obj
 341   end
 342 class emptyDialog :
 343   ?file:string ->
 344   ?domain:string ->
 345   ?autoconnect:bool ->
 346   unit ->
 347   object
 348     val dialog_action_area5 : GPack.button_box
 349     val emptyDialog : GWindow.dialog_any
 350     val emptyDialogCancelButton : GButton.button
 351     val emptyDialogLabel : GMisc.label
 352     val emptyDialogOkButton : GButton.button
 353     val emptyDialogVBox : GPack.box
 354     val toplevel : GWindow.dialog_any
 355     val xml : Glade.glade_xml Gtk.obj
 356     method bind : name:string -> callback:(unit -> unit) -> unit
 357     method check_widgets : unit -> unit
 358     method dialog_action_area5 : GPack.button_box
 359     method emptyDialog : GWindow.dialog_any
 360     method emptyDialogCancelButton : GButton.button
 361     method emptyDialogLabel : GMisc.label
 362     method emptyDialogOkButton : GButton.button
 363     method emptyDialogVBox : GPack.box
 364     method reparent : GObj.widget -> unit
 365     method toplevel : GWindow.dialog_any
 366     method xml : Glade.glade_xml Gtk.obj
 367   end
 368 class checkWin :
 369   ?file:string ->
 370   ?domain:string ->
 371   ?autoconnect:bool ->
 372   unit ->
 373   object
 374     val checkWin : GWindow.window
 375     val checkWinEventBox : GBin.event_box
 376     val scrolledCheck : GBin.scrolled_window
 377     val toplevel : GWindow.window
 378     val xml : Glade.glade_xml Gtk.obj
 379     method bind : name:string -> callback:(unit -> unit) -> unit
 380     method checkWin : GWindow.window
 381     method checkWinEventBox : GBin.event_box
 382     method check_widgets : unit -> unit
 383     method reparent : GObj.widget -> unit
 384     method scrolledCheck : GBin.scrolled_window
 385     method toplevel : GWindow.window
 386     method xml : Glade.glade_xml Gtk.obj
 387   end
 388 class scriptWin :
 389   ?file:string ->
 390   ?domain:string ->
 391   ?autoconnect:bool ->
 392   unit ->
 393   object
 394     val image133 : GMisc.image
 395     val image134 : GMisc.image
 396     val image135 : GMisc.image
 397     val label7 : GMisc.label
 398     val label8 : GMisc.label
 399     val scriptNotebook : GPack.notebook
 400     val scriptTextView : GText.view
 401     val scriptWin : GWindow.window
 402     val scriptWinBackButton : GButton.button
 403     val scriptWinEventBox : GBin.event_box
 404     val scriptWinForwardButton : GButton.button
 405     val scriptWinJumpButton : GButton.button
 406     val scrolledScript : GBin.scrolled_window
 407     val scrolledwindow3 : GBin.scrolled_window
 408     val toolbar1 : GButton.toolbar
 409     val toplevel : GWindow.window
 410     val treeview1 : GTree.view
 411     val vbox4 : GPack.box
 412     val xml : Glade.glade_xml Gtk.obj
 413     method bind : name:string -> callback:(unit -> unit) -> unit
 414     method check_widgets : unit -> unit
 415     method image133 : GMisc.image
 416     method image134 : GMisc.image
 417     method image135 : GMisc.image
 418     method label7 : GMisc.label
 419     method label8 : GMisc.label
 420     method reparent : GObj.widget -> unit
 421     method scriptNotebook : GPack.notebook
 422     method scriptTextView : GText.view
 423     method scriptWin : GWindow.window
 424     method scriptWinBackButton : GButton.button
 425     method scriptWinEventBox : GBin.event_box
 426     method scriptWinForwardButton : GButton.button
 427     method scriptWinJumpButton : GButton.button
 428     method scrolledScript : GBin.scrolled_window
 429     method scrolledwindow3 : GBin.scrolled_window
 430     method toolbar1 : GButton.toolbar
 431     method toplevel : GWindow.window
 432     method treeview1 : GTree.view
 433     method vbox4 : GPack.box
 434     method xml : Glade.glade_xml Gtk.obj
 435   end
 436 class textDialog :
 437   ?file:string ->
 438   ?domain:string ->
 439   ?autoconnect:bool ->
 440   unit ->
 441   object
 442     val hbuttonbox1 : GPack.button_box
 443     val scrolledwindow2 : GBin.scrolled_window
 444     val textDialog : GWindow.dialog_any
 445     val textDialogCancelButton : GButton.button
 446     val textDialogLabel : GMisc.label
 447     val textDialogOkButton : GButton.button
 448     val textDialogTextView : GText.view
 449     val toplevel : GWindow.dialog_any
 450     val vbox5 : GPack.box
 451     val xml : Glade.glade_xml Gtk.obj
 452     method bind : name:string -> callback:(unit -> unit) -> unit
 453     method check_widgets : unit -> unit
 454     method hbuttonbox1 : GPack.button_box
 455     method reparent : GObj.widget -> unit
 456     method scrolledwindow2 : GBin.scrolled_window
 457     method textDialog : GWindow.dialog_any
 458     method textDialogCancelButton : GButton.button
 459     method textDialogLabel : GMisc.label
 460     method textDialogOkButton : GButton.button
 461     method textDialogTextView : GText.view
 462     method toplevel : GWindow.dialog_any
 463     method vbox5 : GPack.box
 464     method xml : Glade.glade_xml Gtk.obj
 465   end
 466 val check_all : ?show:bool -> unit -> unit