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 image174 : GMisc.image
  20     val image175 : GMisc.image
  21     val image176 : GMisc.image
  22     val image177 : GMisc.image
  23     val image178 : 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 consoleHBox : GPack.box
  58     method debugMenu : GMenu.menu_item
  59     method debugMenu_menu : GMenu.menu
  60     method editMenu : GMenu.menu_item
  61     method fileMenu : GMenu.menu_item
  62     method fileMenu_menu : GMenu.menu
  63     method helpMenu : GMenu.menu_item
  64     method helpMenu_menu : GMenu.menu
  65     method hideConsoleButton : GButton.button
  66     method image169 : GMisc.image
  67     method image174 : GMisc.image
  68     method image175 : GMisc.image
  69     method image176 : GMisc.image
  70     method image177 : GMisc.image
  71     method image178 : 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 reduceButton : GButton.button
 159     val reflexivityButton : GButton.button
 160     val replaceButton : GButton.button
 161     val rightButton : GButton.button
 162     val simplifyButton : GButton.button
 163     val splitButton : GButton.button
 164     val symmetryButton : GButton.button
 165     val toolBarEventBox : GBin.event_box
 166     val toolBarVBox : GPack.box
 167     val toolBarWin : GWindow.window
 168     val toolbar2 : GButton.toolbar
 169     val toolbar3 : GButton.toolbar
 170     val toolbar4 : GButton.toolbar
 171     val toolbar5 : GButton.toolbar
 172     val toolbar6 : GButton.toolbar
 173     val toolbar7 : GButton.toolbar
 174     val toolbar8 : GButton.toolbar
 175     val toplevel : GWindow.window
 176     val transitivityButton : GButton.button
 177     val whdButton : GButton.button
 178     val xml : Glade.glade_xml Gtk.obj
 179     method applyButton : GButton.button
 180     method assumptionButton : GButton.button
 181     method autoButton : GButton.button
 182     method bind : name:string -> callback:(unit -> unit) -> unit
 183     method check_widgets : unit -> unit
 184     method cutButton : GButton.button
 185     method elimButton : GButton.button
 186     method elimTypeButton : GButton.button
 187     method exactButton : GButton.button
 188     method existsButton : GButton.button
 189     method introsButton : GButton.button
 190     method leftButton : GButton.button
 191     method reduceButton : GButton.button
 192     method reflexivityButton : GButton.button
 193     method reparent : GObj.widget -> unit
 194     method replaceButton : GButton.button
 195     method rightButton : GButton.button
 196     method simplifyButton : GButton.button
 197     method splitButton : GButton.button
 198     method symmetryButton : GButton.button
 199     method toolBarEventBox : GBin.event_box
 200     method toolBarVBox : GPack.box
 201     method toolBarWin : GWindow.window
 202     method toolbar2 : GButton.toolbar
 203     method toolbar3 : GButton.toolbar
 204     method toolbar4 : GButton.toolbar
 205     method toolbar5 : GButton.toolbar
 206     method toolbar6 : GButton.toolbar
 207     method toolbar7 : GButton.toolbar
 208     method toolbar8 : GButton.toolbar
 209     method toplevel : GWindow.window
 210     method transitivityButton : GButton.button
 211     method whdButton : GButton.button
 212     method xml : Glade.glade_xml Gtk.obj
 213   end
 214 class confirmationDialog :
 215   ?file:string ->
 216   ?domain:string ->
 217   ?autoconnect:bool ->
 218   unit ->
 219   object
 220     val confirmationDialog : GWindow.dialog_any
 221     val confirmationDialogCancelButton : GButton.button
 222     val confirmationDialogLabel : GMisc.label
 223     val confirmationDialogOkButton : GButton.button
 224     val dialog_action_area1 : GPack.button_box
 225     val dialog_vbox1 : GPack.box
 226     val toplevel : GWindow.dialog_any
 227     val xml : Glade.glade_xml Gtk.obj
 228     method bind : name:string -> callback:(unit -> unit) -> unit
 229     method check_widgets : unit -> unit
 230     method confirmationDialog : GWindow.dialog_any
 231     method confirmationDialogCancelButton : GButton.button
 232     method confirmationDialogLabel : GMisc.label
 233     method confirmationDialogOkButton : GButton.button
 234     method dialog_action_area1 : GPack.button_box
 235     method dialog_vbox1 : GPack.box
 236     method reparent : GObj.widget -> unit
 237     method toplevel : GWindow.dialog_any
 238     method xml : Glade.glade_xml Gtk.obj
 239   end
 240 class aboutWin :
 241   ?file:string ->
 242   ?domain:string ->
 243   ?autoconnect:bool ->
 244   unit ->
 245   object
 246     val aboutDismissButton : GButton.button
 247     val aboutLabel : GMisc.label
 248     val aboutWin : GWindow.dialog_any
 249     val dialog_action_area2 : GPack.button_box
 250     val dialog_vbox2 : GPack.box
 251     val toplevel : GWindow.dialog_any
 252     val xml : Glade.glade_xml Gtk.obj
 253     method aboutDismissButton : GButton.button
 254     method aboutLabel : GMisc.label
 255     method aboutWin : GWindow.dialog_any
 256     method bind : name:string -> callback:(unit -> unit) -> unit
 257     method check_widgets : unit -> unit
 258     method dialog_action_area2 : GPack.button_box
 259     method dialog_vbox2 : GPack.box
 260     method reparent : GObj.widget -> unit
 261     method toplevel : GWindow.dialog_any
 262     method xml : Glade.glade_xml Gtk.obj
 263   end
 264 class uriChoiceDialog :
 265   ?file:string ->
 266   ?domain:string ->
 267   ?autoconnect:bool ->
 268   unit ->
 269   object
 270     val alignment1 : GBin.alignment
 271     val alignment2 : GBin.alignment
 272     val dialog_action_area3 : GPack.button_box
 273     val dialog_vbox3 : GPack.box
 274     val entry1 : GEdit.entry
 275     val hbox1 : GPack.box
 276     val hbox2 : GPack.box
 277     val hbox3 : GPack.box
 278     val image18 : GMisc.image
 279     val image19 : GMisc.image
 280     val label1 : GMisc.label
 281     val label2 : GMisc.label
 282     val label3 : GMisc.label
 283     val scrolledwindow1 : GBin.scrolled_window
 284     val toplevel : GWindow.dialog_any
 285     val uriChoiceAbortButton : GButton.button
 286     val uriChoiceAutoButton : GButton.button
 287     val uriChoiceConstantsButton : GButton.button
 288     val uriChoiceDialog : GWindow.dialog_any
 289     val uriChoiceLabel : GMisc.label
 290     val uriChoiceSelectedButton : GButton.button
 291     val uriChoiceTreeView : GTree.view
 292     val vbox2 : GPack.box
 293     val xml : Glade.glade_xml Gtk.obj
 294     method alignment1 : GBin.alignment
 295     method alignment2 : GBin.alignment
 296     method bind : name:string -> callback:(unit -> unit) -> unit
 297     method check_widgets : unit -> unit
 298     method dialog_action_area3 : GPack.button_box
 299     method dialog_vbox3 : GPack.box
 300     method entry1 : GEdit.entry
 301     method hbox1 : GPack.box
 302     method hbox2 : GPack.box
 303     method hbox3 : GPack.box
 304     method image18 : GMisc.image
 305     method image19 : GMisc.image
 306     method label1 : GMisc.label
 307     method label2 : GMisc.label
 308     method label3 : GMisc.label
 309     method reparent : GObj.widget -> unit
 310     method scrolledwindow1 : GBin.scrolled_window
 311     method toplevel : GWindow.dialog_any
 312     method uriChoiceAbortButton : GButton.button
 313     method uriChoiceAutoButton : GButton.button
 314     method uriChoiceConstantsButton : GButton.button
 315     method uriChoiceDialog : GWindow.dialog_any
 316     method uriChoiceLabel : GMisc.label
 317     method uriChoiceSelectedButton : GButton.button
 318     method uriChoiceTreeView : GTree.view
 319     method vbox2 : GPack.box
 320     method xml : Glade.glade_xml Gtk.obj
 321   end
 322 class interpChoiceDialog :
 323   ?file:string ->
 324   ?domain:string ->
 325   ?autoconnect:bool ->
 326   unit ->
 327   object
 328     val dialog_action_area4 : GPack.button_box
 329     val dialog_vbox4 : GPack.box
 330     val interpChoiceCancelButton : GButton.button
 331     val interpChoiceDialog : GWindow.dialog_any
 332     val interpChoiceDialogLabel : GMisc.label
 333     val interpChoiceHelpButton : GButton.button
 334     val interpChoiceOkButton : GButton.button
 335     val interpChoiceTreeView : GTree.view
 336     val scrolledwindow4 : GBin.scrolled_window
 337     val toplevel : GWindow.dialog_any
 338     val vbox3 : GPack.box
 339     val xml : Glade.glade_xml Gtk.obj
 340     method bind : name:string -> callback:(unit -> unit) -> unit
 341     method check_widgets : unit -> unit
 342     method dialog_action_area4 : GPack.button_box
 343     method dialog_vbox4 : GPack.box
 344     method interpChoiceCancelButton : GButton.button
 345     method interpChoiceDialog : GWindow.dialog_any
 346     method interpChoiceDialogLabel : GMisc.label
 347     method interpChoiceHelpButton : GButton.button
 348     method interpChoiceOkButton : GButton.button
 349     method interpChoiceTreeView : GTree.view
 350     method reparent : GObj.widget -> unit
 351     method scrolledwindow4 : GBin.scrolled_window
 352     method toplevel : GWindow.dialog_any
 353     method vbox3 : GPack.box
 354     method xml : Glade.glade_xml Gtk.obj
 355   end
 356 class emptyDialog :
 357   ?file:string ->
 358   ?domain:string ->
 359   ?autoconnect:bool ->
 360   unit ->
 361   object
 362     val dialog_action_area5 : GPack.button_box
 363     val emptyDialog : GWindow.dialog_any
 364     val emptyDialogCancelButton : GButton.button
 365     val emptyDialogLabel : GMisc.label
 366     val emptyDialogOkButton : GButton.button
 367     val emptyDialogVBox : GPack.box
 368     val toplevel : GWindow.dialog_any
 369     val xml : Glade.glade_xml Gtk.obj
 370     method bind : name:string -> callback:(unit -> unit) -> unit
 371     method check_widgets : unit -> unit
 372     method dialog_action_area5 : GPack.button_box
 373     method emptyDialog : GWindow.dialog_any
 374     method emptyDialogCancelButton : GButton.button
 375     method emptyDialogLabel : GMisc.label
 376     method emptyDialogOkButton : GButton.button
 377     method emptyDialogVBox : GPack.box
 378     method reparent : GObj.widget -> unit
 379     method toplevel : GWindow.dialog_any
 380     method xml : Glade.glade_xml Gtk.obj
 381   end
 382 class checkWin :
 383   ?file:string ->
 384   ?domain:string ->
 385   ?autoconnect:bool ->
 386   unit ->
 387   object
 388     val checkWin : GWindow.window
 389     val checkWinEventBox : GBin.event_box
 390     val scrolledCheck : GBin.scrolled_window
 391     val toplevel : GWindow.window
 392     val xml : Glade.glade_xml Gtk.obj
 393     method bind : name:string -> callback:(unit -> unit) -> unit
 394     method checkWin : GWindow.window
 395     method checkWinEventBox : GBin.event_box
 396     method check_widgets : unit -> unit
 397     method reparent : GObj.widget -> unit
 398     method scrolledCheck : GBin.scrolled_window
 399     method toplevel : GWindow.window
 400     method xml : Glade.glade_xml Gtk.obj
 401   end
 402 class scriptWin :
 403   ?file:string ->
 404   ?domain:string ->
 405   ?autoconnect:bool ->
 406   unit ->
 407   object
 408     val image133 : GMisc.image
 409     val image134 : GMisc.image
 410     val image135 : GMisc.image
 411     val label7 : GMisc.label
 412     val label8 : GMisc.label
 413     val scriptNotebook : GPack.notebook
 414     val scriptTextView : GText.view
 415     val scriptWin : GWindow.window
 416     val scriptWinBackButton : GButton.button
 417     val scriptWinEventBox : GBin.event_box
 418     val scriptWinForwardButton : GButton.button
 419     val scriptWinJumpButton : GButton.button
 420     val scrolledScript : GBin.scrolled_window
 421     val scrolledwindow3 : GBin.scrolled_window
 422     val toolbar1 : GButton.toolbar
 423     val toplevel : GWindow.window
 424     val treeview1 : GTree.view
 425     val vbox4 : GPack.box
 426     val xml : Glade.glade_xml Gtk.obj
 427     method bind : name:string -> callback:(unit -> unit) -> unit
 428     method check_widgets : unit -> unit
 429     method image133 : GMisc.image
 430     method image134 : GMisc.image
 431     method image135 : GMisc.image
 432     method label7 : GMisc.label
 433     method label8 : GMisc.label
 434     method reparent : GObj.widget -> unit
 435     method scriptNotebook : GPack.notebook
 436     method scriptTextView : GText.view
 437     method scriptWin : GWindow.window
 438     method scriptWinBackButton : GButton.button
 439     method scriptWinEventBox : GBin.event_box
 440     method scriptWinForwardButton : GButton.button
 441     method scriptWinJumpButton : GButton.button
 442     method scrolledScript : GBin.scrolled_window
 443     method scrolledwindow3 : GBin.scrolled_window
 444     method toolbar1 : GButton.toolbar
 445     method toplevel : GWindow.window
 446     method treeview1 : GTree.view
 447     method vbox4 : GPack.box
 448     method xml : Glade.glade_xml Gtk.obj
 449   end
 450 class textDialog :
 451   ?file:string ->
 452   ?domain:string ->
 453   ?autoconnect:bool ->
 454   unit ->
 455   object
 456     val hbuttonbox1 : GPack.button_box
 457     val scrolledwindow2 : GBin.scrolled_window
 458     val textDialog : GWindow.dialog_any
 459     val textDialogCancelButton : GButton.button
 460     val textDialogLabel : GMisc.label
 461     val textDialogOkButton : GButton.button
 462     val textDialogTextView : GText.view
 463     val toplevel : GWindow.dialog_any
 464     val vbox5 : GPack.box
 465     val xml : Glade.glade_xml Gtk.obj
 466     method bind : name:string -> callback:(unit -> unit) -> unit
 467     method check_widgets : unit -> unit
 468     method hbuttonbox1 : GPack.button_box
 469     method reparent : GObj.widget -> unit
 470     method scrolledwindow2 : GBin.scrolled_window
 471     method textDialog : GWindow.dialog_any
 472     method textDialogCancelButton : GButton.button
 473     method textDialogLabel : GMisc.label
 474     method textDialogOkButton : GButton.button
 475     method textDialogTextView : GText.view
 476     method toplevel : GWindow.dialog_any
 477     method vbox5 : GPack.box
 478     method xml : Glade.glade_xml Gtk.obj
 479   end
 480 val check_all : ?show:bool -> unit -> unit