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