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 hbox4 : GPack.box
  15     val helpMenu : GMenu.menu_item
  16     val helpMenu_menu : GMenu.menu
  17     val hideConsoleButton : GButton.button
  18     val image164 : GMisc.image
  19     val image165 : GMisc.image
  20     val image166 : GMisc.image
  21     val image167 : GMisc.image
  22     val image168 : GMisc.image
  23     val image169 : GMisc.image
  24     val mainMenuBar : GMenu.menu_shell
  25     val mainStatusBar : GMisc.statusbar
  26     val mainVPanes : GPack.paned
  27     val mainWin : GWindow.window
  28     val mainWinEventBox : GBin.event_box
  29     val mainWinShape : GPack.box
  30     val newDefsMenuItem : GMenu.menu_item
  31     val newMenu : GMenu.image_menu_item
  32     val newMenu_menu : GMenu.menu
  33     val newProofMenuItem : GMenu.menu_item
  34     val openMenuItem : GMenu.image_menu_item
  35     val quitMenuItem : GMenu.image_menu_item
  36     val saveAsMenuItem : GMenu.image_menu_item
  37     val saveMenuItem : GMenu.image_menu_item
  38     val scrolledConsole : GBin.scrolled_window
  39     val separator1 : GMenu.menu_item
  40     val separator2 : GMenu.menu_item
  41     val separator3 : GMenu.menu_item
  42     val sequentsNotebook : GPack.notebook
  43     val showCheckMenuItem : GMenu.check_menu_item
  44     val showConsoleMenuItem : GMenu.menu_item
  45     val showProofMenuItem : GMenu.check_menu_item
  46     val showScriptMenuItem : GMenu.check_menu_item
  47     val showToolBarMenuItem : GMenu.check_menu_item
  48     val toplevel : GWindow.window
  49     val vbox6 : GPack.box
  50     val viewMenu : GMenu.menu_item
  51     val viewMenu_menu : GMenu.menu
  52     val xml : Glade.glade_xml Gtk.obj
  53     method aboutMenuItem : GMenu.menu_item
  54     method bind : name:string -> callback:(unit -> unit) -> unit
  55     method check_widgets : unit -> unit
  56     method consoleEventBox : GBin.event_box
  57     method debugMenu : GMenu.menu_item
  58     method debugMenu_menu : GMenu.menu
  59     method editMenu : GMenu.menu_item
  60     method fileMenu : GMenu.menu_item
  61     method fileMenu_menu : GMenu.menu
  62     method hbox4 : GPack.box
  63     method helpMenu : GMenu.menu_item
  64     method helpMenu_menu : GMenu.menu
  65     method hideConsoleButton : GButton.button
  66     method image164 : GMisc.image
  67     method image165 : GMisc.image
  68     method image166 : GMisc.image
  69     method image167 : GMisc.image
  70     method image168 : GMisc.image
  71     method image169 : GMisc.image
  72     method mainMenuBar : GMenu.menu_shell
  73     method mainStatusBar : GMisc.statusbar
  74     method mainVPanes : GPack.paned
  75     method mainWin : GWindow.window
  76     method mainWinEventBox : GBin.event_box
  77     method mainWinShape : GPack.box
  78     method newDefsMenuItem : GMenu.menu_item
  79     method newMenu : GMenu.image_menu_item
  80     method newMenu_menu : GMenu.menu
  81     method newProofMenuItem : GMenu.menu_item
  82     method openMenuItem : GMenu.image_menu_item
  83     method quitMenuItem : GMenu.image_menu_item
  84     method reparent : GObj.widget -> unit
  85     method saveAsMenuItem : GMenu.image_menu_item
  86     method saveMenuItem : GMenu.image_menu_item
  87     method scrolledConsole : GBin.scrolled_window
  88     method separator1 : GMenu.menu_item
  89     method separator2 : GMenu.menu_item
  90     method separator3 : GMenu.menu_item
  91     method sequentsNotebook : GPack.notebook
  92     method showCheckMenuItem : GMenu.check_menu_item
  93     method showConsoleMenuItem : GMenu.menu_item
  94     method showProofMenuItem : GMenu.check_menu_item
  95     method showScriptMenuItem : GMenu.check_menu_item
  96     method showToolBarMenuItem : GMenu.check_menu_item
  97     method toplevel : GWindow.window
  98     method vbox6 : GPack.box
  99     method viewMenu : GMenu.menu_item
 100     method viewMenu_menu : GMenu.menu
 101     method xml : Glade.glade_xml Gtk.obj
 102   end
 103 class proofWin :
 104   ?file:string ->
 105   ?domain:string ->
 106   ?autoconnect:bool ->
 107   unit ->
 108   object
 109     val proofWin : GWindow.window
 110     val proofWinEventBox : GBin.event_box
 111     val scrolledProof : GBin.scrolled_window
 112     val toplevel : GWindow.window
 113     val xml : Glade.glade_xml Gtk.obj
 114     method bind : name:string -> callback:(unit -> unit) -> unit
 115     method check_widgets : unit -> unit
 116     method proofWin : GWindow.window
 117     method proofWinEventBox : GBin.event_box
 118     method reparent : GObj.widget -> unit
 119     method scrolledProof : GBin.scrolled_window
 120     method toplevel : GWindow.window
 121     method xml : Glade.glade_xml Gtk.obj
 122   end
 123 class fileSelectionWin :
 124   ?file:string ->
 125   ?domain:string ->
 126   ?autoconnect:bool ->
 127   unit ->
 128   object
 129     val fileSelCancelButton : GButton.button
 130     val fileSelOkButton : GButton.button
 131     val fileSelectionWin : GWindow.file_selection
 132     val toplevel : GWindow.file_selection
 133     val xml : Glade.glade_xml Gtk.obj
 134     method bind : name:string -> callback:(unit -> unit) -> unit
 135     method check_widgets : unit -> unit
 136     method fileSelCancelButton : GButton.button
 137     method fileSelOkButton : GButton.button
 138     method fileSelectionWin : GWindow.file_selection
 139     method toplevel : GWindow.file_selection
 140     method xml : Glade.glade_xml Gtk.obj
 141   end
 142 class toolBarWin :
 143   ?file:string ->
 144   ?domain:string ->
 145   ?autoconnect:bool ->
 146   unit ->
 147   object
 148     val applyButton : GButton.button
 149     val assumptionButton : GButton.button
 150     val autoButton : GButton.button
 151     val cutButton : GButton.button
 152     val elimButton : GButton.button
 153     val elimTypeButton : GButton.button
 154     val exactButton : GButton.button
 155     val existsButton : GButton.button
 156     val introsButton : GButton.button
 157     val leftButton : GButton.button
 158     val reflexivityButton : GButton.button
 159     val replaceButton : GButton.button
 160     val rightButton : GButton.button
 161     val splitButton : GButton.button
 162     val symmetryButton : GButton.button
 163     val toolBarEventBox : GBin.event_box
 164     val toolBarVBox : GPack.box
 165     val toolBarWin : GWindow.window
 166     val toolbar2 : GButton.toolbar
 167     val toolbar3 : GButton.toolbar
 168     val toolbar4 : GButton.toolbar
 169     val toolbar5 : GButton.toolbar
 170     val toolbar6 : GButton.toolbar
 171     val toolbar7 : GButton.toolbar
 172     val toplevel : GWindow.window
 173     val transitivityButton : GButton.button
 174     val xml : Glade.glade_xml Gtk.obj
 175     method applyButton : GButton.button
 176     method assumptionButton : GButton.button
 177     method autoButton : GButton.button
 178     method bind : name:string -> callback:(unit -> unit) -> unit
 179     method check_widgets : unit -> unit
 180     method cutButton : GButton.button
 181     method elimButton : GButton.button
 182     method elimTypeButton : GButton.button
 183     method exactButton : GButton.button
 184     method existsButton : GButton.button
 185     method introsButton : GButton.button
 186     method leftButton : GButton.button
 187     method reflexivityButton : GButton.button
 188     method reparent : GObj.widget -> unit
 189     method replaceButton : GButton.button
 190     method rightButton : GButton.button
 191     method splitButton : GButton.button
 192     method symmetryButton : GButton.button
 193     method toolBarEventBox : GBin.event_box
 194     method toolBarVBox : GPack.box
 195     method toolBarWin : GWindow.window
 196     method toolbar2 : GButton.toolbar
 197     method toolbar3 : GButton.toolbar
 198     method toolbar4 : GButton.toolbar
 199     method toolbar5 : GButton.toolbar
 200     method toolbar6 : GButton.toolbar
 201     method toolbar7 : GButton.toolbar
 202     method toplevel : GWindow.window
 203     method transitivityButton : GButton.button
 204     method xml : Glade.glade_xml Gtk.obj
 205   end
 206 class confirmationDialog :
 207   ?file:string ->
 208   ?domain:string ->
 209   ?autoconnect:bool ->
 210   unit ->
 211   object
 212     val confirmationDialog : GWindow.dialog_any
 213     val confirmationDialogCancelButton : GButton.button
 214     val confirmationDialogLabel : GMisc.label
 215     val confirmationDialogOkButton : GButton.button
 216     val dialog_action_area1 : GPack.button_box
 217     val dialog_vbox1 : GPack.box
 218     val toplevel : GWindow.dialog_any
 219     val xml : Glade.glade_xml Gtk.obj
 220     method bind : name:string -> callback:(unit -> unit) -> unit
 221     method check_widgets : unit -> unit
 222     method confirmationDialog : GWindow.dialog_any
 223     method confirmationDialogCancelButton : GButton.button
 224     method confirmationDialogLabel : GMisc.label
 225     method confirmationDialogOkButton : GButton.button
 226     method dialog_action_area1 : GPack.button_box
 227     method dialog_vbox1 : GPack.box
 228     method reparent : GObj.widget -> unit
 229     method toplevel : GWindow.dialog_any
 230     method xml : Glade.glade_xml Gtk.obj
 231   end
 232 class aboutWin :
 233   ?file:string ->
 234   ?domain:string ->
 235   ?autoconnect:bool ->
 236   unit ->
 237   object
 238     val aboutDismissButton : GButton.button
 239     val aboutLabel : GMisc.label
 240     val aboutWin : GWindow.dialog_any
 241     val dialog_action_area2 : GPack.button_box
 242     val dialog_vbox2 : GPack.box
 243     val toplevel : GWindow.dialog_any
 244     val xml : Glade.glade_xml Gtk.obj
 245     method aboutDismissButton : GButton.button
 246     method aboutLabel : GMisc.label
 247     method aboutWin : GWindow.dialog_any
 248     method bind : name:string -> callback:(unit -> unit) -> unit
 249     method check_widgets : unit -> unit
 250     method dialog_action_area2 : GPack.button_box
 251     method dialog_vbox2 : GPack.box
 252     method reparent : GObj.widget -> unit
 253     method toplevel : GWindow.dialog_any
 254     method xml : Glade.glade_xml Gtk.obj
 255   end
 256 class uriChoiceDialog :
 257   ?file:string ->
 258   ?domain:string ->
 259   ?autoconnect:bool ->
 260   unit ->
 261   object
 262     val alignment1 : GBin.alignment
 263     val alignment2 : GBin.alignment
 264     val dialog_action_area3 : GPack.button_box
 265     val dialog_vbox3 : GPack.box
 266     val entry1 : GEdit.entry
 267     val hbox1 : GPack.box
 268     val hbox2 : GPack.box
 269     val hbox3 : GPack.box
 270     val image18 : GMisc.image
 271     val image19 : GMisc.image
 272     val label1 : GMisc.label
 273     val label2 : GMisc.label
 274     val label3 : GMisc.label
 275     val scrolledwindow1 : GBin.scrolled_window
 276     val toplevel : GWindow.dialog_any
 277     val uriChoiceAbortButton : GButton.button
 278     val uriChoiceAutoButton : GButton.button
 279     val uriChoiceConstantsButton : GButton.button
 280     val uriChoiceDialog : GWindow.dialog_any
 281     val uriChoiceLabel : GMisc.label
 282     val uriChoiceSelectedButton : GButton.button
 283     val uriChoiceTreeView : GTree.view
 284     val vbox2 : GPack.box
 285     val xml : Glade.glade_xml Gtk.obj
 286     method alignment1 : GBin.alignment
 287     method alignment2 : GBin.alignment
 288     method bind : name:string -> callback:(unit -> unit) -> unit
 289     method check_widgets : unit -> unit
 290     method dialog_action_area3 : GPack.button_box
 291     method dialog_vbox3 : GPack.box
 292     method entry1 : GEdit.entry
 293     method hbox1 : GPack.box
 294     method hbox2 : GPack.box
 295     method hbox3 : GPack.box
 296     method image18 : GMisc.image
 297     method image19 : GMisc.image
 298     method label1 : GMisc.label
 299     method label2 : GMisc.label
 300     method label3 : GMisc.label
 301     method reparent : GObj.widget -> unit
 302     method scrolledwindow1 : GBin.scrolled_window
 303     method toplevel : GWindow.dialog_any
 304     method uriChoiceAbortButton : GButton.button
 305     method uriChoiceAutoButton : GButton.button
 306     method uriChoiceConstantsButton : GButton.button
 307     method uriChoiceDialog : GWindow.dialog_any
 308     method uriChoiceLabel : GMisc.label
 309     method uriChoiceSelectedButton : GButton.button
 310     method uriChoiceTreeView : GTree.view
 311     method vbox2 : GPack.box
 312     method xml : Glade.glade_xml Gtk.obj
 313   end
 314 class interpChoiceDialog :
 315   ?file:string ->
 316   ?domain:string ->
 317   ?autoconnect:bool ->
 318   unit ->
 319   object
 320     val dialog_action_area4 : GPack.button_box
 321     val dialog_vbox4 : GPack.box
 322     val interpChoiceCancelButton : GButton.button
 323     val interpChoiceDialog : GWindow.dialog_any
 324     val interpChoiceDialogLabel : GMisc.label
 325     val interpChoiceHelpButton : GButton.button
 326     val interpChoiceOkButton : GButton.button
 327     val interpChoiceTreeView : GTree.view
 328     val scrolledwindow4 : GBin.scrolled_window
 329     val toplevel : GWindow.dialog_any
 330     val vbox3 : GPack.box
 331     val xml : Glade.glade_xml Gtk.obj
 332     method bind : name:string -> callback:(unit -> unit) -> unit
 333     method check_widgets : unit -> unit
 334     method dialog_action_area4 : GPack.button_box
 335     method dialog_vbox4 : GPack.box
 336     method interpChoiceCancelButton : GButton.button
 337     method interpChoiceDialog : GWindow.dialog_any
 338     method interpChoiceDialogLabel : GMisc.label
 339     method interpChoiceHelpButton : GButton.button
 340     method interpChoiceOkButton : GButton.button
 341     method interpChoiceTreeView : GTree.view
 342     method reparent : GObj.widget -> unit
 343     method scrolledwindow4 : GBin.scrolled_window
 344     method toplevel : GWindow.dialog_any
 345     method vbox3 : GPack.box
 346     method xml : Glade.glade_xml Gtk.obj
 347   end
 348 class emptyDialog :
 349   ?file:string ->
 350   ?domain:string ->
 351   ?autoconnect:bool ->
 352   unit ->
 353   object
 354     val dialog_action_area5 : GPack.button_box
 355     val emptyDialog : GWindow.dialog_any
 356     val emptyDialogCancelButton : GButton.button
 357     val emptyDialogLabel : GMisc.label
 358     val emptyDialogOkButton : GButton.button
 359     val emptyDialogVBox : GPack.box
 360     val toplevel : GWindow.dialog_any
 361     val xml : Glade.glade_xml Gtk.obj
 362     method bind : name:string -> callback:(unit -> unit) -> unit
 363     method check_widgets : unit -> unit
 364     method dialog_action_area5 : GPack.button_box
 365     method emptyDialog : GWindow.dialog_any
 366     method emptyDialogCancelButton : GButton.button
 367     method emptyDialogLabel : GMisc.label
 368     method emptyDialogOkButton : GButton.button
 369     method emptyDialogVBox : GPack.box
 370     method reparent : GObj.widget -> unit
 371     method toplevel : GWindow.dialog_any
 372     method xml : Glade.glade_xml Gtk.obj
 373   end
 374 class checkWin :
 375   ?file:string ->
 376   ?domain:string ->
 377   ?autoconnect:bool ->
 378   unit ->
 379   object
 380     val checkWin : GWindow.window
 381     val checkWinEventBox : GBin.event_box
 382     val scrolledCheck : GBin.scrolled_window
 383     val toplevel : GWindow.window
 384     val xml : Glade.glade_xml Gtk.obj
 385     method bind : name:string -> callback:(unit -> unit) -> unit
 386     method checkWin : GWindow.window
 387     method checkWinEventBox : GBin.event_box
 388     method check_widgets : unit -> unit
 389     method reparent : GObj.widget -> unit
 390     method scrolledCheck : GBin.scrolled_window
 391     method toplevel : GWindow.window
 392     method xml : Glade.glade_xml Gtk.obj
 393   end
 394 class scriptWin :
 395   ?file:string ->
 396   ?domain:string ->
 397   ?autoconnect:bool ->
 398   unit ->
 399   object
 400     val image133 : GMisc.image
 401     val image134 : GMisc.image
 402     val image135 : GMisc.image
 403     val label7 : GMisc.label
 404     val label8 : GMisc.label
 405     val scriptNotebook : GPack.notebook
 406     val scriptTextView : GText.view
 407     val scriptWin : GWindow.window
 408     val scriptWinBackButton : GButton.button
 409     val scriptWinEventBox : GBin.event_box
 410     val scriptWinForwardButton : GButton.button
 411     val scriptWinJumpButton : GButton.button
 412     val scrolledScript : GBin.scrolled_window
 413     val scrolledwindow3 : GBin.scrolled_window
 414     val toolbar1 : GButton.toolbar
 415     val toplevel : GWindow.window
 416     val treeview1 : GTree.view
 417     val vbox4 : GPack.box
 418     val xml : Glade.glade_xml Gtk.obj
 419     method bind : name:string -> callback:(unit -> unit) -> unit
 420     method check_widgets : unit -> unit
 421     method image133 : GMisc.image
 422     method image134 : GMisc.image
 423     method image135 : GMisc.image
 424     method label7 : GMisc.label
 425     method label8 : GMisc.label
 426     method reparent : GObj.widget -> unit
 427     method scriptNotebook : GPack.notebook
 428     method scriptTextView : GText.view
 429     method scriptWin : GWindow.window
 430     method scriptWinBackButton : GButton.button
 431     method scriptWinEventBox : GBin.event_box
 432     method scriptWinForwardButton : GButton.button
 433     method scriptWinJumpButton : GButton.button
 434     method scrolledScript : GBin.scrolled_window
 435     method scrolledwindow3 : GBin.scrolled_window
 436     method toolbar1 : GButton.toolbar
 437     method toplevel : GWindow.window
 438     method treeview1 : GTree.view
 439     method vbox4 : GPack.box
 440     method xml : Glade.glade_xml Gtk.obj
 441   end
 442 class textDialog :
 443   ?file:string ->
 444   ?domain:string ->
 445   ?autoconnect:bool ->
 446   unit ->
 447   object
 448     val hbuttonbox1 : GPack.button_box
 449     val scrolledwindow2 : GBin.scrolled_window
 450     val textDialog : GWindow.dialog_any
 451     val textDialogCancelButton : GButton.button
 452     val textDialogLabel : GMisc.label
 453     val textDialogOkButton : GButton.button
 454     val textDialogTextView : GText.view
 455     val toplevel : GWindow.dialog_any
 456     val vbox5 : GPack.box
 457     val xml : Glade.glade_xml Gtk.obj
 458     method bind : name:string -> callback:(unit -> unit) -> unit
 459     method check_widgets : unit -> unit
 460     method hbuttonbox1 : GPack.button_box
 461     method reparent : GObj.widget -> unit
 462     method scrolledwindow2 : GBin.scrolled_window
 463     method textDialog : GWindow.dialog_any
 464     method textDialogCancelButton : GButton.button
 465     method textDialogLabel : GMisc.label
 466     method textDialogOkButton : GButton.button
 467     method textDialogTextView : GText.view
 468     method toplevel : GWindow.dialog_any
 469     method vbox5 : GPack.box
 470     method xml : Glade.glade_xml Gtk.obj
 471   end
 472 val check_all : ?show:bool -> unit -> unit