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 proofWin :
 102   ?file:string ->
 103   ?domain:string ->
 104   ?autoconnect:bool ->
 105   unit ->
 106   object
 107     val proofWin : GWindow.window
 108     val proofWinEventBox : GBin.event_box
 109     val scrolledProof : GBin.scrolled_window
 110     val toplevel : GWindow.window
 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 proofWin : GWindow.window
 115     method proofWinEventBox : GBin.event_box
 116     method reparent : GObj.widget -> unit
 117     method scrolledProof : GBin.scrolled_window
 118     method toplevel : GWindow.window
 119     method xml : Glade.glade_xml Gtk.obj
 120   end
 121 class fileSelectionWin :
 122   ?file:string ->
 123   ?domain:string ->
 124   ?autoconnect:bool ->
 125   unit ->
 126   object
 127     val fileSelCancelButton : GButton.button
 128     val fileSelOkButton : GButton.button
 129     val fileSelectionWin : GWindow.file_selection
 130     val toplevel : GWindow.file_selection
 131     val xml : Glade.glade_xml Gtk.obj
 132     method bind : name:string -> callback:(unit -> unit) -> unit
 133     method check_widgets : unit -> unit
 134     method fileSelCancelButton : GButton.button
 135     method fileSelOkButton : GButton.button
 136     method fileSelectionWin : GWindow.file_selection
 137     method toplevel : GWindow.file_selection
 138     method xml : Glade.glade_xml Gtk.obj
 139   end
 140 class toolBarWin :
 141   ?file:string ->
 142   ?domain:string ->
 143   ?autoconnect:bool ->
 144   unit ->
 145   object
 146     val applyButton : GButton.button
 147     val assumptionButton : GButton.button
 148     val autoButton : GButton.button
 149     val cutButton : GButton.button
 150     val elimButton : GButton.button
 151     val elimTypeButton : GButton.button
 152     val exactButton : GButton.button
 153     val existsButton : GButton.button
 154     val introsButton : GButton.button
 155     val leftButton : GButton.button
 156     val reduceButton : GButton.button
 157     val reflexivityButton : GButton.button
 158     val replaceButton : GButton.button
 159     val rightButton : GButton.button
 160     val simplifyButton : 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 toolbar8 : GButton.toolbar
 173     val toplevel : GWindow.window
 174     val transitivityButton : GButton.button
 175     val whdButton : GButton.button
 176     val xml : Glade.glade_xml Gtk.obj
 177     method applyButton : GButton.button
 178     method assumptionButton : GButton.button
 179     method autoButton : GButton.button
 180     method bind : name:string -> callback:(unit -> unit) -> unit
 181     method check_widgets : unit -> unit
 182     method cutButton : GButton.button
 183     method elimButton : GButton.button
 184     method elimTypeButton : GButton.button
 185     method exactButton : GButton.button
 186     method existsButton : GButton.button
 187     method introsButton : GButton.button
 188     method leftButton : GButton.button
 189     method reduceButton : GButton.button
 190     method reflexivityButton : GButton.button
 191     method reparent : GObj.widget -> unit
 192     method replaceButton : GButton.button
 193     method rightButton : GButton.button
 194     method simplifyButton : GButton.button
 195     method splitButton : GButton.button
 196     method symmetryButton : GButton.button
 197     method toolBarEventBox : GBin.event_box
 198     method toolBarVBox : GPack.box
 199     method toolBarWin : GWindow.window
 200     method toolbar2 : GButton.toolbar
 201     method toolbar3 : GButton.toolbar
 202     method toolbar4 : GButton.toolbar
 203     method toolbar5 : GButton.toolbar
 204     method toolbar6 : GButton.toolbar
 205     method toolbar7 : GButton.toolbar
 206     method toolbar8 : GButton.toolbar
 207     method toplevel : GWindow.window
 208     method transitivityButton : GButton.button
 209     method whdButton : GButton.button
 210     method xml : Glade.glade_xml Gtk.obj
 211   end
 212 class confirmationDialog :
 213   ?file:string ->
 214   ?domain:string ->
 215   ?autoconnect:bool ->
 216   unit ->
 217   object
 218     val confirmationDialog : GWindow.dialog_any
 219     val confirmationDialogCancelButton : GButton.button
 220     val confirmationDialogLabel : GMisc.label
 221     val confirmationDialogOkButton : GButton.button
 222     val dialog_action_area1 : GPack.button_box
 223     val dialog_vbox1 : GPack.box
 224     val toplevel : GWindow.dialog_any
 225     val xml : Glade.glade_xml Gtk.obj
 226     method bind : name:string -> callback:(unit -> unit) -> unit
 227     method check_widgets : unit -> unit
 228     method confirmationDialog : GWindow.dialog_any
 229     method confirmationDialogCancelButton : GButton.button
 230     method confirmationDialogLabel : GMisc.label
 231     method confirmationDialogOkButton : GButton.button
 232     method dialog_action_area1 : GPack.button_box
 233     method dialog_vbox1 : GPack.box
 234     method reparent : GObj.widget -> unit
 235     method toplevel : GWindow.dialog_any
 236     method xml : Glade.glade_xml Gtk.obj
 237   end
 238 class aboutWin :
 239   ?file:string ->
 240   ?domain:string ->
 241   ?autoconnect:bool ->
 242   unit ->
 243   object
 244     val aboutDismissButton : GButton.button
 245     val aboutLabel : GMisc.label
 246     val aboutWin : GWindow.dialog_any
 247     val dialog_action_area2 : GPack.button_box
 248     val dialog_vbox2 : GPack.box
 249     val toplevel : GWindow.dialog_any
 250     val xml : Glade.glade_xml Gtk.obj
 251     method aboutDismissButton : GButton.button
 252     method aboutLabel : GMisc.label
 253     method aboutWin : GWindow.dialog_any
 254     method bind : name:string -> callback:(unit -> unit) -> unit
 255     method check_widgets : unit -> unit
 256     method dialog_action_area2 : GPack.button_box
 257     method dialog_vbox2 : GPack.box
 258     method reparent : GObj.widget -> unit
 259     method toplevel : GWindow.dialog_any
 260     method xml : Glade.glade_xml Gtk.obj
 261   end
 262 class uriChoiceDialog :
 263   ?file:string ->
 264   ?domain:string ->
 265   ?autoconnect:bool ->
 266   unit ->
 267   object
 268     val alignment1 : GBin.alignment
 269     val alignment2 : GBin.alignment
 270     val dialog_action_area3 : GPack.button_box
 271     val dialog_vbox3 : GPack.box
 272     val entry1 : GEdit.entry
 273     val hbox1 : GPack.box
 274     val hbox2 : GPack.box
 275     val hbox3 : GPack.box
 276     val image18 : GMisc.image
 277     val image19 : GMisc.image
 278     val label1 : GMisc.label
 279     val label2 : GMisc.label
 280     val label3 : GMisc.label
 281     val scrolledwindow1 : GBin.scrolled_window
 282     val toplevel : GWindow.dialog_any
 283     val uriChoiceAbortButton : GButton.button
 284     val uriChoiceAutoButton : GButton.button
 285     val uriChoiceConstantsButton : GButton.button
 286     val uriChoiceDialog : GWindow.dialog_any
 287     val uriChoiceLabel : GMisc.label
 288     val uriChoiceSelectedButton : GButton.button
 289     val uriChoiceTreeView : GTree.view
 290     val vbox2 : GPack.box
 291     val xml : Glade.glade_xml Gtk.obj
 292     method alignment1 : GBin.alignment
 293     method alignment2 : GBin.alignment
 294     method bind : name:string -> callback:(unit -> unit) -> unit
 295     method check_widgets : unit -> unit
 296     method dialog_action_area3 : GPack.button_box
 297     method dialog_vbox3 : GPack.box
 298     method entry1 : GEdit.entry
 299     method hbox1 : GPack.box
 300     method hbox2 : GPack.box
 301     method hbox3 : GPack.box
 302     method image18 : GMisc.image
 303     method image19 : GMisc.image
 304     method label1 : GMisc.label
 305     method label2 : GMisc.label
 306     method label3 : GMisc.label
 307     method reparent : GObj.widget -> unit
 308     method scrolledwindow1 : GBin.scrolled_window
 309     method toplevel : GWindow.dialog_any
 310     method uriChoiceAbortButton : GButton.button
 311     method uriChoiceAutoButton : GButton.button
 312     method uriChoiceConstantsButton : GButton.button
 313     method uriChoiceDialog : GWindow.dialog_any
 314     method uriChoiceLabel : GMisc.label
 315     method uriChoiceSelectedButton : GButton.button
 316     method uriChoiceTreeView : GTree.view
 317     method vbox2 : GPack.box
 318     method xml : Glade.glade_xml Gtk.obj
 319   end
 320 class interpChoiceDialog :
 321   ?file:string ->
 322   ?domain:string ->
 323   ?autoconnect:bool ->
 324   unit ->
 325   object
 326     val dialog_action_area4 : GPack.button_box
 327     val dialog_vbox4 : GPack.box
 328     val interpChoiceCancelButton : GButton.button
 329     val interpChoiceDialog : GWindow.dialog_any
 330     val interpChoiceDialogLabel : GMisc.label
 331     val interpChoiceHelpButton : GButton.button
 332     val interpChoiceOkButton : GButton.button
 333     val interpChoiceTreeView : GTree.view
 334     val scrolledwindow4 : GBin.scrolled_window
 335     val toplevel : GWindow.dialog_any
 336     val vbox3 : GPack.box
 337     val xml : Glade.glade_xml Gtk.obj
 338     method bind : name:string -> callback:(unit -> unit) -> unit
 339     method check_widgets : unit -> unit
 340     method dialog_action_area4 : GPack.button_box
 341     method dialog_vbox4 : GPack.box
 342     method interpChoiceCancelButton : GButton.button
 343     method interpChoiceDialog : GWindow.dialog_any
 344     method interpChoiceDialogLabel : GMisc.label
 345     method interpChoiceHelpButton : GButton.button
 346     method interpChoiceOkButton : GButton.button
 347     method interpChoiceTreeView : GTree.view
 348     method reparent : GObj.widget -> unit
 349     method scrolledwindow4 : GBin.scrolled_window
 350     method toplevel : GWindow.dialog_any
 351     method vbox3 : GPack.box
 352     method xml : Glade.glade_xml Gtk.obj
 353   end
 354 class emptyDialog :
 355   ?file:string ->
 356   ?domain:string ->
 357   ?autoconnect:bool ->
 358   unit ->
 359   object
 360     val dialog_action_area5 : GPack.button_box
 361     val emptyDialog : GWindow.dialog_any
 362     val emptyDialogCancelButton : GButton.button
 363     val emptyDialogLabel : GMisc.label
 364     val emptyDialogOkButton : GButton.button
 365     val emptyDialogVBox : GPack.box
 366     val toplevel : GWindow.dialog_any
 367     val xml : Glade.glade_xml Gtk.obj
 368     method bind : name:string -> callback:(unit -> unit) -> unit
 369     method check_widgets : unit -> unit
 370     method dialog_action_area5 : GPack.button_box
 371     method emptyDialog : GWindow.dialog_any
 372     method emptyDialogCancelButton : GButton.button
 373     method emptyDialogLabel : GMisc.label
 374     method emptyDialogOkButton : GButton.button
 375     method emptyDialogVBox : GPack.box
 376     method reparent : GObj.widget -> unit
 377     method toplevel : GWindow.dialog_any
 378     method xml : Glade.glade_xml Gtk.obj
 379   end
 380 class checkWin :
 381   ?file:string ->
 382   ?domain:string ->
 383   ?autoconnect:bool ->
 384   unit ->
 385   object
 386     val checkWin : GWindow.window
 387     val checkWinEventBox : GBin.event_box
 388     val scrolledCheck : GBin.scrolled_window
 389     val toplevel : GWindow.window
 390     val xml : Glade.glade_xml Gtk.obj
 391     method bind : name:string -> callback:(unit -> unit) -> unit
 392     method checkWin : GWindow.window
 393     method checkWinEventBox : GBin.event_box
 394     method check_widgets : unit -> unit
 395     method reparent : GObj.widget -> unit
 396     method scrolledCheck : GBin.scrolled_window
 397     method toplevel : GWindow.window
 398     method xml : Glade.glade_xml Gtk.obj
 399   end
 400 class scriptWin :
 401   ?file:string ->
 402   ?domain:string ->
 403   ?autoconnect:bool ->
 404   unit ->
 405   object
 406     val image133 : GMisc.image
 407     val image134 : GMisc.image
 408     val image135 : GMisc.image
 409     val label7 : GMisc.label
 410     val label8 : GMisc.label
 411     val scriptNotebook : GPack.notebook
 412     val scriptTextView : GText.view
 413     val scriptWin : GWindow.window
 414     val scriptWinBackButton : GButton.button
 415     val scriptWinEventBox : GBin.event_box
 416     val scriptWinForwardButton : GButton.button
 417     val scriptWinJumpButton : GButton.button
 418     val scrolledScript : GBin.scrolled_window
 419     val scrolledwindow3 : GBin.scrolled_window
 420     val toolbar1 : GButton.toolbar
 421     val toplevel : GWindow.window
 422     val treeview1 : GTree.view
 423     val vbox4 : GPack.box
 424     val xml : Glade.glade_xml Gtk.obj
 425     method bind : name:string -> callback:(unit -> unit) -> unit
 426     method check_widgets : unit -> unit
 427     method image133 : GMisc.image
 428     method image134 : GMisc.image
 429     method image135 : GMisc.image
 430     method label7 : GMisc.label
 431     method label8 : GMisc.label
 432     method reparent : GObj.widget -> unit
 433     method scriptNotebook : GPack.notebook
 434     method scriptTextView : GText.view
 435     method scriptWin : GWindow.window
 436     method scriptWinBackButton : GButton.button
 437     method scriptWinEventBox : GBin.event_box
 438     method scriptWinForwardButton : GButton.button
 439     method scriptWinJumpButton : GButton.button
 440     method scrolledScript : GBin.scrolled_window
 441     method scrolledwindow3 : GBin.scrolled_window
 442     method toolbar1 : GButton.toolbar
 443     method toplevel : GWindow.window
 444     method treeview1 : GTree.view
 445     method vbox4 : GPack.box
 446     method xml : Glade.glade_xml Gtk.obj
 447   end
 448 class textDialog :
 449   ?file:string ->
 450   ?domain:string ->
 451   ?autoconnect:bool ->
 452   unit ->
 453   object
 454     val hbuttonbox1 : GPack.button_box
 455     val scrolledwindow2 : GBin.scrolled_window
 456     val textDialog : GWindow.dialog_any
 457     val textDialogCancelButton : GButton.button
 458     val textDialogLabel : GMisc.label
 459     val textDialogOkButton : GButton.button
 460     val textDialogTextView : GText.view
 461     val toplevel : GWindow.dialog_any
 462     val vbox5 : GPack.box
 463     val xml : Glade.glade_xml Gtk.obj
 464     method bind : name:string -> callback:(unit -> unit) -> unit
 465     method check_widgets : unit -> unit
 466     method hbuttonbox1 : GPack.button_box
 467     method reparent : GObj.widget -> unit
 468     method scrolledwindow2 : GBin.scrolled_window
 469     method textDialog : GWindow.dialog_any
 470     method textDialogCancelButton : GButton.button
 471     method textDialogLabel : GMisc.label
 472     method textDialogOkButton : GButton.button
 473     method textDialogTextView : GText.view
 474     method toplevel : GWindow.dialog_any
 475     method vbox5 : GPack.box
 476     method xml : Glade.glade_xml Gtk.obj
 477   end
 478 class browserWin :
 479   ?file:string ->
 480   ?domain:string ->
 481   ?autoconnect:bool ->
 482   unit ->
 483   object
 484     val alignment3 : GBin.alignment
 485     val browserBackButton : GButton.button
 486     val browserForwardButton : GButton.button
 487     val browserHomeButton : GButton.button
 488     val browserNewButton : GButton.button
 489     val browserRefreshButton : GButton.button
 490     val browserUri : GEdit.entry
 491     val browserVBox : GPack.box
 492     val browserWin : GWindow.window
 493     val browserWinEventBox : GBin.event_box
 494     val frame1 : GBin.frame
 495     val hbox6 : GPack.box
 496     val hbox7 : GPack.box
 497     val image187 : GMisc.image
 498     val image188 : GMisc.image
 499     val image189 : GMisc.image
 500     val image190 : GMisc.image
 501     val image191 : GMisc.image
 502     val image229 : GMisc.image
 503     val label10 : GMisc.label
 504     val scrolledBrowser : GBin.scrolled_window
 505     val toplevel : GWindow.window
 506     val xml : Glade.glade_xml Gtk.obj
 507     method alignment3 : GBin.alignment
 508     method bind : name:string -> callback:(unit -> unit) -> unit
 509     method browserBackButton : GButton.button
 510     method browserForwardButton : GButton.button
 511     method browserHomeButton : GButton.button
 512     method browserNewButton : GButton.button
 513     method browserRefreshButton : GButton.button
 514     method browserUri : GEdit.entry
 515     method browserVBox : GPack.box
 516     method browserWin : GWindow.window
 517     method browserWinEventBox : GBin.event_box
 518     method check_widgets : unit -> unit
 519     method frame1 : GBin.frame
 520     method hbox6 : GPack.box
 521     method hbox7 : GPack.box
 522     method image187 : GMisc.image
 523     method image188 : GMisc.image
 524     method image189 : GMisc.image
 525     method image190 : GMisc.image
 526     method image191 : GMisc.image
 527     method image229 : GMisc.image
 528     method label10 : GMisc.label
 529     method reparent : GObj.widget -> unit
 530     method scrolledBrowser : GBin.scrolled_window
 531     method toplevel : GWindow.window
 532     method xml : Glade.glade_xml Gtk.obj
 533   end
 534 val check_all : ?show:bool -> unit -> unit