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 interpChoiceHelpButton : GButton.button
 319     val interpChoiceOkButton : GButton.button
 320     val label6 : GMisc.label
 321     val toplevel : GWindow.dialog_any
 322     val vbox3 : GPack.box
 323     val xml : Glade.glade_xml Gtk.obj
 324     method bind : name:string -> callback:(unit -> unit) -> unit
 325     method check_widgets : unit -> unit
 326     method dialog_action_area4 : GPack.button_box
 327     method dialog_vbox4 : GPack.box
 328     method interpChoiceCancelButton : GButton.button
 329     method interpChoiceDialog : GWindow.dialog_any
 330     method interpChoiceHelpButton : GButton.button
 331     method interpChoiceOkButton : GButton.button
 332     method label6 : GMisc.label
 333     method reparent : GObj.widget -> unit
 334     method toplevel : GWindow.dialog_any
 335     method vbox3 : GPack.box
 336     method xml : Glade.glade_xml Gtk.obj
 337   end
 338 class emptyDialog :
 339   ?file:string ->
 340   ?domain:string ->
 341   ?autoconnect:bool ->
 342   unit ->
 343   object
 344     val dialog_action_area5 : GPack.button_box
 345     val emptyDialog : GWindow.dialog_any
 346     val emptyDialogCancelButton : GButton.button
 347     val emptyDialogLabel : GMisc.label
 348     val emptyDialogOkButton : GButton.button
 349     val emptyDialogVBox : GPack.box
 350     val toplevel : GWindow.dialog_any
 351     val xml : Glade.glade_xml Gtk.obj
 352     method bind : name:string -> callback:(unit -> unit) -> unit
 353     method check_widgets : unit -> unit
 354     method dialog_action_area5 : GPack.button_box
 355     method emptyDialog : GWindow.dialog_any
 356     method emptyDialogCancelButton : GButton.button
 357     method emptyDialogLabel : GMisc.label
 358     method emptyDialogOkButton : GButton.button
 359     method emptyDialogVBox : GPack.box
 360     method reparent : GObj.widget -> unit
 361     method toplevel : GWindow.dialog_any
 362     method xml : Glade.glade_xml Gtk.obj
 363   end
 364 class checkWin :
 365   ?file:string ->
 366   ?domain:string ->
 367   ?autoconnect:bool ->
 368   unit ->
 369   object
 370     val checkWin : GWindow.window
 371     val checkWinEventBox : GBin.event_box
 372     val scrolledCheck : GBin.scrolled_window
 373     val toplevel : GWindow.window
 374     val xml : Glade.glade_xml Gtk.obj
 375     method bind : name:string -> callback:(unit -> unit) -> unit
 376     method checkWin : GWindow.window
 377     method checkWinEventBox : GBin.event_box
 378     method check_widgets : unit -> unit
 379     method reparent : GObj.widget -> unit
 380     method scrolledCheck : GBin.scrolled_window
 381     method toplevel : GWindow.window
 382     method xml : Glade.glade_xml Gtk.obj
 383   end
 384 class scriptWin :
 385   ?file:string ->
 386   ?domain:string ->
 387   ?autoconnect:bool ->
 388   unit ->
 389   object
 390     val button5 : GButton.button
 391     val button6 : GButton.button
 392     val button7 : GButton.button
 393     val image133 : GMisc.image
 394     val image134 : GMisc.image
 395     val image135 : GMisc.image
 396     val scriptTextView : GText.view
 397     val scriptWin : GWindow.window
 398     val scriptWinEventBox : GBin.event_box
 399     val scrolledScript : GBin.scrolled_window
 400     val toolbar1 : GButton.toolbar
 401     val toplevel : GWindow.window
 402     val vbox4 : GPack.box
 403     val xml : Glade.glade_xml Gtk.obj
 404     method bind : name:string -> callback:(unit -> unit) -> unit
 405     method button5 : GButton.button
 406     method button6 : GButton.button
 407     method button7 : GButton.button
 408     method check_widgets : unit -> unit
 409     method image133 : GMisc.image
 410     method image134 : GMisc.image
 411     method image135 : GMisc.image
 412     method reparent : GObj.widget -> unit
 413     method scriptTextView : GText.view
 414     method scriptWin : GWindow.window
 415     method scriptWinEventBox : GBin.event_box
 416     method scrolledScript : GBin.scrolled_window
 417     method toolbar1 : GButton.toolbar
 418     method toplevel : GWindow.window
 419     method vbox4 : GPack.box
 420     method xml : Glade.glade_xml Gtk.obj
 421   end
 422 class textDialog :
 423   ?file:string ->
 424   ?domain:string ->
 425   ?autoconnect:bool ->
 426   unit ->
 427   object
 428     val hbuttonbox1 : GPack.button_box
 429     val scrolledwindow2 : GBin.scrolled_window
 430     val textDialog : GWindow.dialog_any
 431     val textDialogCancelButton : GButton.button
 432     val textDialogLabel : GMisc.label
 433     val textDialogOkButton : GButton.button
 434     val textDialogTextView : GText.view
 435     val toplevel : GWindow.dialog_any
 436     val vbox5 : GPack.box
 437     val xml : Glade.glade_xml Gtk.obj
 438     method bind : name:string -> callback:(unit -> unit) -> unit
 439     method check_widgets : unit -> unit
 440     method hbuttonbox1 : GPack.button_box
 441     method reparent : GObj.widget -> unit
 442     method scrolledwindow2 : GBin.scrolled_window
 443     method textDialog : GWindow.dialog_any
 444     method textDialogCancelButton : GButton.button
 445     method textDialogLabel : GMisc.label
 446     method textDialogOkButton : GButton.button
 447     method textDialogTextView : GText.view
 448     method toplevel : GWindow.dialog_any
 449     method vbox5 : GPack.box
 450     method xml : Glade.glade_xml Gtk.obj
 451   end
 452 val check_all : ?show:bool -> unit -> unit