helm/matita/matitaGeneratedGui.mli

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