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 image84 : GMisc.image
  17     val image85 : GMisc.image
  18     val image86 : GMisc.image
  19     val image87 : GMisc.image
  20     val image88 : 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 showProofMenuItem : GMenu.check_menu_item
  41     val showToolBarMenuItem : GMenu.check_menu_item
  42     val toplevel : GWindow.window
  43     val viewMenu : GMenu.menu_item
  44     val viewMenu_menu : GMenu.menu
  45     val viewport1 : GBin.viewport
  46     val xml : Glade.glade_xml Gtk.obj
  47     method aboutMenuItem : GMenu.menu_item
  48     method bind : name:string -> callback:(unit -> unit) -> unit
  49     method check_widgets : unit -> unit
  50     method consoleEventBox : GBin.event_box
  51     method debugMenu : GMenu.menu_item
  52     method debugMenu_menu : GMenu.menu
  53     method editMenu : GMenu.menu_item
  54     method fileMenu : GMenu.menu_item
  55     method fileMenu_menu : GMenu.menu
  56     method helpMenu : GMenu.menu_item
  57     method helpMenu_menu : GMenu.menu
  58     method image84 : GMisc.image
  59     method image85 : GMisc.image
  60     method image86 : GMisc.image
  61     method image87 : GMisc.image
  62     method image88 : GMisc.image
  63     method mainMenuBar : GMenu.menu_shell
  64     method mainStatusBar : GMisc.statusbar
  65     method mainVPanes : GPack.paned
  66     method mainWin : GWindow.window
  67     method mainWinEventBox : GBin.event_box
  68     method mainWinShape : GPack.box
  69     method newDefsMenuItem : GMenu.menu_item
  70     method newMenu : GMenu.image_menu_item
  71     method newMenu_menu : GMenu.menu
  72     method newProofMenuItem : GMenu.menu_item
  73     method openMenuItem : GMenu.image_menu_item
  74     method quitMenuItem : GMenu.image_menu_item
  75     method reparent : GObj.widget -> unit
  76     method saveAsMenuItem : GMenu.image_menu_item
  77     method saveMenuItem : GMenu.image_menu_item
  78     method scrolledConsole : GBin.scrolled_window
  79     method scrolledSequents : GBin.scrolled_window
  80     method separator1 : GMenu.menu_item
  81     method separator2 : GMenu.menu_item
  82     method sequentsNotebook : GPack.notebook
  83     method showProofMenuItem : GMenu.check_menu_item
  84     method showToolBarMenuItem : GMenu.check_menu_item
  85     method toplevel : GWindow.window
  86     method viewMenu : GMenu.menu_item
  87     method viewMenu_menu : GMenu.menu
  88     method viewport1 : GBin.viewport
  89     method xml : Glade.glade_xml Gtk.obj
  90   end
  91 class proofWin :
  92   ?file:string ->
  93   ?domain:string ->
  94   ?autoconnect:bool ->
  95   unit ->
  96   object
  97     val proofWin : GWindow.window
  98     val proofWinEventBox : GBin.event_box
  99     val scrolledProof : GBin.scrolled_window
 100     val toplevel : GWindow.window
 101     val xml : Glade.glade_xml Gtk.obj
 102     method bind : name:string -> callback:(unit -> unit) -> unit
 103     method check_widgets : unit -> unit
 104     method proofWin : GWindow.window
 105     method proofWinEventBox : GBin.event_box
 106     method reparent : GObj.widget -> unit
 107     method scrolledProof : GBin.scrolled_window
 108     method toplevel : GWindow.window
 109     method xml : Glade.glade_xml Gtk.obj
 110   end
 111 class fileSelectionWin :
 112   ?file:string ->
 113   ?domain:string ->
 114   ?autoconnect:bool ->
 115   unit ->
 116   object
 117     val cancel_button1 : GButton.button
 118     val fileSelectionWin : GWindow.file_selection
 119     val ok_button1 : GButton.button
 120     val toplevel : GWindow.file_selection
 121     val xml : Glade.glade_xml Gtk.obj
 122     method bind : name:string -> callback:(unit -> unit) -> unit
 123     method cancel_button1 : GButton.button
 124     method check_widgets : unit -> unit
 125     method fileSelectionWin : GWindow.file_selection
 126     method ok_button1 : GButton.button
 127     method toplevel : GWindow.file_selection
 128     method xml : Glade.glade_xml Gtk.obj
 129   end
 130 class toolBarWin :
 131   ?file:string ->
 132   ?domain:string ->
 133   ?autoconnect:bool ->
 134   unit ->
 135   object
 136     val button1 : GButton.button
 137     val button2 : GButton.button
 138     val button3 : GButton.button
 139     val button4 : GButton.button
 140     val toolBarEventBox : GBin.event_box
 141     val toolBarWin : GWindow.window
 142     val toplevel : GWindow.window
 143     val vbox1 : GPack.box
 144     val vbuttonbox1 : GPack.button_box
 145     val xml : Glade.glade_xml Gtk.obj
 146     method bind : name:string -> callback:(unit -> unit) -> unit
 147     method button1 : GButton.button
 148     method button2 : GButton.button
 149     method button3 : GButton.button
 150     method button4 : GButton.button
 151     method check_widgets : unit -> unit
 152     method reparent : GObj.widget -> unit
 153     method toolBarEventBox : GBin.event_box
 154     method toolBarWin : GWindow.window
 155     method toplevel : GWindow.window
 156     method vbox1 : GPack.box
 157     method vbuttonbox1 : GPack.button_box
 158     method xml : Glade.glade_xml Gtk.obj
 159   end
 160 class confirmationDialog :
 161   ?file:string ->
 162   ?domain:string ->
 163   ?autoconnect:bool ->
 164   unit ->
 165   object
 166     val confirmationDialog : GWindow.dialog_any
 167     val confirmationDialogCancelButton : GButton.button
 168     val confirmationDialogLabel : GMisc.label
 169     val confirmationDialogOkButton : GButton.button
 170     val dialog_action_area1 : GPack.button_box
 171     val dialog_vbox1 : GPack.box
 172     val toplevel : GWindow.dialog_any
 173     val xml : Glade.glade_xml Gtk.obj
 174     method bind : name:string -> callback:(unit -> unit) -> unit
 175     method check_widgets : unit -> unit
 176     method confirmationDialog : GWindow.dialog_any
 177     method confirmationDialogCancelButton : GButton.button
 178     method confirmationDialogLabel : GMisc.label
 179     method confirmationDialogOkButton : GButton.button
 180     method dialog_action_area1 : GPack.button_box
 181     method dialog_vbox1 : GPack.box
 182     method reparent : GObj.widget -> unit
 183     method toplevel : GWindow.dialog_any
 184     method xml : Glade.glade_xml Gtk.obj
 185   end
 186 class aboutWin :
 187   ?file:string ->
 188   ?domain:string ->
 189   ?autoconnect:bool ->
 190   unit ->
 191   object
 192     val aboutDismissButton : GButton.button
 193     val aboutLabel : GMisc.label
 194     val aboutWin : GWindow.dialog_any
 195     val dialog_action_area2 : GPack.button_box
 196     val dialog_vbox2 : GPack.box
 197     val toplevel : GWindow.dialog_any
 198     val xml : Glade.glade_xml Gtk.obj
 199     method aboutDismissButton : GButton.button
 200     method aboutLabel : GMisc.label
 201     method aboutWin : GWindow.dialog_any
 202     method bind : name:string -> callback:(unit -> unit) -> unit
 203     method check_widgets : unit -> unit
 204     method dialog_action_area2 : GPack.button_box
 205     method dialog_vbox2 : GPack.box
 206     method reparent : GObj.widget -> unit
 207     method toplevel : GWindow.dialog_any
 208     method xml : Glade.glade_xml Gtk.obj
 209   end
 210 class uriChoiceDialog :
 211   ?file:string ->
 212   ?domain:string ->
 213   ?autoconnect:bool ->
 214   unit ->
 215   object
 216     val alignment1 : GBin.alignment
 217     val alignment2 : GBin.alignment
 218     val dialog_action_area3 : GPack.button_box
 219     val dialog_vbox3 : GPack.box
 220     val entry1 : GEdit.entry
 221     val hbox1 : GPack.box
 222     val hbox2 : GPack.box
 223     val hbox3 : GPack.box
 224     val image18 : GMisc.image
 225     val image19 : GMisc.image
 226     val label1 : GMisc.label
 227     val label2 : GMisc.label
 228     val label3 : GMisc.label
 229     val scrolledwindow1 : GBin.scrolled_window
 230     val toplevel : GWindow.dialog_any
 231     val uriChoiceAbortButton : GButton.button
 232     val uriChoiceAutoButton : GButton.button
 233     val uriChoiceConstantsButton : GButton.button
 234     val uriChoiceDialog : GWindow.dialog_any
 235     val uriChoiceLabel : GMisc.label
 236     val uriChoiceSelectedButton : GButton.button
 237     val uriChoiceTreeView : GTree.view
 238     val vbox2 : GPack.box
 239     val xml : Glade.glade_xml Gtk.obj
 240     method alignment1 : GBin.alignment
 241     method alignment2 : GBin.alignment
 242     method bind : name:string -> callback:(unit -> unit) -> unit
 243     method check_widgets : unit -> unit
 244     method dialog_action_area3 : GPack.button_box
 245     method dialog_vbox3 : GPack.box
 246     method entry1 : GEdit.entry
 247     method hbox1 : GPack.box
 248     method hbox2 : GPack.box
 249     method hbox3 : GPack.box
 250     method image18 : GMisc.image
 251     method image19 : GMisc.image
 252     method label1 : GMisc.label
 253     method label2 : GMisc.label
 254     method label3 : GMisc.label
 255     method reparent : GObj.widget -> unit
 256     method scrolledwindow1 : GBin.scrolled_window
 257     method toplevel : GWindow.dialog_any
 258     method uriChoiceAbortButton : GButton.button
 259     method uriChoiceAutoButton : GButton.button
 260     method uriChoiceConstantsButton : GButton.button
 261     method uriChoiceDialog : GWindow.dialog_any
 262     method uriChoiceLabel : GMisc.label
 263     method uriChoiceSelectedButton : GButton.button
 264     method uriChoiceTreeView : GTree.view
 265     method vbox2 : GPack.box
 266     method xml : Glade.glade_xml Gtk.obj
 267   end
 268 class interpChoiceDialog :
 269   ?file:string ->
 270   ?domain:string ->
 271   ?autoconnect:bool ->
 272   unit ->
 273   object
 274     val dialog_action_area4 : GPack.button_box
 275     val dialog_vbox4 : GPack.box
 276     val interpChoiceCancelButton : GButton.button
 277     val interpChoiceDialog : GWindow.dialog_any
 278     val interpChoiceHelpButton : GButton.button
 279     val interpChoiceOkButton : GButton.button
 280     val label6 : GMisc.label
 281     val toplevel : GWindow.dialog_any
 282     val vbox3 : GPack.box
 283     val xml : Glade.glade_xml Gtk.obj
 284     method bind : name:string -> callback:(unit -> unit) -> unit
 285     method check_widgets : unit -> unit
 286     method dialog_action_area4 : GPack.button_box
 287     method dialog_vbox4 : GPack.box
 288     method interpChoiceCancelButton : GButton.button
 289     method interpChoiceDialog : GWindow.dialog_any
 290     method interpChoiceHelpButton : GButton.button
 291     method interpChoiceOkButton : GButton.button
 292     method label6 : GMisc.label
 293     method reparent : GObj.widget -> unit
 294     method toplevel : GWindow.dialog_any
 295     method vbox3 : GPack.box
 296     method xml : Glade.glade_xml Gtk.obj
 297   end
 298 class emptyDialog :
 299   ?file:string ->
 300   ?domain:string ->
 301   ?autoconnect:bool ->
 302   unit ->
 303   object
 304     val dialog_action_area5 : GPack.button_box
 305     val emptyDialog : GWindow.dialog_any
 306     val emptyDialogCancelButton : GButton.button
 307     val emptyDialogLabel : GMisc.label
 308     val emptyDialogOkButton : GButton.button
 309     val emptyDialogVBox : GPack.box
 310     val toplevel : GWindow.dialog_any
 311     val xml : Glade.glade_xml Gtk.obj
 312     method bind : name:string -> callback:(unit -> unit) -> unit
 313     method check_widgets : unit -> unit
 314     method dialog_action_area5 : GPack.button_box
 315     method emptyDialog : GWindow.dialog_any
 316     method emptyDialogCancelButton : GButton.button
 317     method emptyDialogLabel : GMisc.label
 318     method emptyDialogOkButton : GButton.button
 319     method emptyDialogVBox : GPack.box
 320     method reparent : GObj.widget -> unit
 321     method toplevel : GWindow.dialog_any
 322     method xml : Glade.glade_xml Gtk.obj
 323   end
 324 val check_all : ?show:bool -> unit -> unit