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