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 proofStatus : GBin.scrolled_window
  31     val quitMenuItem : GMenu.image_menu_item
  32     val saveAsMenuItem : GMenu.image_menu_item
  33     val saveMenuItem : GMenu.image_menu_item
  34     val scrolledUserInput : 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 proofStatus : GBin.scrolled_window
  69     method quitMenuItem : GMenu.image_menu_item
  70     method reparent : GObj.widget -> unit
  71     method saveAsMenuItem : GMenu.image_menu_item
  72     method saveMenuItem : GMenu.image_menu_item
  73     method scrolledUserInput : 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 viewport1 : GBin.viewport
  94     val xml : Glade.glade_xml Gtk.obj
  95     method bind : name:string -> callback:(unit -> unit) -> unit
  96     method check_widgets : unit -> unit
  97     method proofWin : GWindow.window
  98     method proofWinEventBox : GBin.event_box
  99     method reparent : GObj.widget -> unit
 100     method scrolledProof : GBin.scrolled_window
 101     method toplevel : GWindow.window
 102     method viewport1 : GBin.viewport
 103     method xml : Glade.glade_xml Gtk.obj
 104   end
 105 class fileSelectionWin :
 106   ?file:string ->
 107   ?domain:string ->
 108   ?autoconnect:bool ->
 109   unit ->
 110   object
 111     val cancel_button1 : GButton.button
 112     val fileSelectionWin : GWindow.file_selection
 113     val ok_button1 : GButton.button
 114     val toplevel : GWindow.file_selection
 115     val xml : Glade.glade_xml Gtk.obj
 116     method bind : name:string -> callback:(unit -> unit) -> unit
 117     method cancel_button1 : GButton.button
 118     method check_widgets : unit -> unit
 119     method fileSelectionWin : GWindow.file_selection
 120     method ok_button1 : GButton.button
 121     method toplevel : GWindow.file_selection
 122     method xml : Glade.glade_xml Gtk.obj
 123   end
 124 class toolBarWin :
 125   ?file:string ->
 126   ?domain:string ->
 127   ?autoconnect:bool ->
 128   unit ->
 129   object
 130     val button1 : GButton.button
 131     val button2 : GButton.button
 132     val button3 : GButton.button
 133     val button4 : GButton.button
 134     val toolBarEventBox : GBin.event_box
 135     val toolBarWin : GWindow.window
 136     val toplevel : GWindow.window
 137     val vbox1 : GPack.box
 138     val xml : Glade.glade_xml Gtk.obj
 139     method bind : name:string -> callback:(unit -> unit) -> unit
 140     method button1 : GButton.button
 141     method button2 : GButton.button
 142     method button3 : GButton.button
 143     method button4 : GButton.button
 144     method check_widgets : unit -> unit
 145     method reparent : GObj.widget -> unit
 146     method toolBarEventBox : GBin.event_box
 147     method toolBarWin : GWindow.window
 148     method toplevel : GWindow.window
 149     method vbox1 : GPack.box
 150     method xml : Glade.glade_xml Gtk.obj
 151   end
 152 class genericDialog :
 153   ?file:string ->
 154   ?domain:string ->
 155   ?autoconnect:bool ->
 156   unit ->
 157   object
 158     val cancelbutton1 : GButton.button
 159     val dialog_vbox1 : GPack.box
 160     val genericDialog : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 161     val okbutton1 : GButton.button
 162     val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 163     val xml : Glade.glade_xml Gtk.obj
 164     method bind : name:string -> callback:(unit -> unit) -> unit
 165     method cancelbutton1 : GButton.button
 166     method check_widgets : unit -> unit
 167     method dialog_vbox1 : GPack.box
 168     method genericDialog :
 169       [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 170     method okbutton1 : GButton.button
 171     method reparent : GObj.widget -> unit
 172     method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 173     method xml : Glade.glade_xml Gtk.obj
 174   end
 175 class aboutWin :
 176   ?file:string ->
 177   ?domain:string ->
 178   ?autoconnect:bool ->
 179   unit ->
 180   object
 181     val aboutDismissButton : GButton.button
 182     val aboutWin : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 183     val dialog_vbox2 : GPack.box
 184     val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 185     val xml : Glade.glade_xml Gtk.obj
 186     method aboutDismissButton : GButton.button
 187     method aboutWin : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 188     method bind : name:string -> callback:(unit -> unit) -> unit
 189     method check_widgets : unit -> unit
 190     method dialog_vbox2 : GPack.box
 191     method reparent : GObj.widget -> unit
 192     method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 193     method xml : Glade.glade_xml Gtk.obj
 194   end
 195 class uriChoiceDialog :
 196   ?file:string ->
 197   ?domain:string ->
 198   ?autoconnect:bool ->
 199   unit ->
 200   object
 201     val alignment1 : GBin.alignment
 202     val alignment2 : GBin.alignment
 203     val dialog_vbox3 : GPack.box
 204     val entry1 : GEdit.entry
 205     val hbox1 : GPack.box
 206     val hbox2 : GPack.box
 207     val hbox3 : GPack.box
 208     val image18 : GMisc.image
 209     val image19 : GMisc.image
 210     val label1 : GMisc.label
 211     val label2 : GMisc.label
 212     val label3 : GMisc.label
 213     val scrolledwindow1 : GBin.scrolled_window
 214     val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 215     val uriChoiceAbortButton : GButton.button
 216     val uriChoiceAutoButton : GButton.button
 217     val uriChoiceConstantsButton : GButton.button
 218     val uriChoiceDialog :
 219       [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 220     val uriChoiceLabel : GMisc.label
 221     val uriChoiceSelectedButton : GButton.button
 222     val uriChoiceTreeView : GTree.view
 223     val vbox2 : GPack.box
 224     val xml : Glade.glade_xml Gtk.obj
 225     method alignment1 : GBin.alignment
 226     method alignment2 : GBin.alignment
 227     method bind : name:string -> callback:(unit -> unit) -> unit
 228     method check_widgets : unit -> unit
 229     method dialog_vbox3 : GPack.box
 230     method entry1 : GEdit.entry
 231     method hbox1 : GPack.box
 232     method hbox2 : GPack.box
 233     method hbox3 : GPack.box
 234     method image18 : GMisc.image
 235     method image19 : GMisc.image
 236     method label1 : GMisc.label
 237     method label2 : GMisc.label
 238     method label3 : GMisc.label
 239     method reparent : GObj.widget -> unit
 240     method scrolledwindow1 : GBin.scrolled_window
 241     method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 242     method uriChoiceAbortButton : GButton.button
 243     method uriChoiceAutoButton : GButton.button
 244     method uriChoiceConstantsButton : GButton.button
 245     method uriChoiceDialog :
 246       [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 247     method uriChoiceLabel : GMisc.label
 248     method uriChoiceSelectedButton : GButton.button
 249     method uriChoiceTreeView : GTree.view
 250     method vbox2 : GPack.box
 251     method xml : Glade.glade_xml Gtk.obj
 252   end
 253 class interpChoiceDialog :
 254   ?file:string ->
 255   ?domain:string ->
 256   ?autoconnect:bool ->
 257   unit ->
 258   object
 259     val dialog_vbox4 : GPack.box
 260     val interpChoiceCancelButton : GButton.button
 261     val interpChoiceDialog :
 262       [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 263     val interpChoiceHelpButton : GButton.button
 264     val interpChoiceOkButton : GButton.button
 265     val label6 : GMisc.label
 266     val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 267     val vbox3 : GPack.box
 268     val xml : Glade.glade_xml Gtk.obj
 269     method bind : name:string -> callback:(unit -> unit) -> unit
 270     method check_widgets : unit -> unit
 271     method dialog_vbox4 : GPack.box
 272     method interpChoiceCancelButton : GButton.button
 273     method interpChoiceDialog :
 274       [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 275     method interpChoiceHelpButton : GButton.button
 276     method interpChoiceOkButton : GButton.button
 277     method label6 : GMisc.label
 278     method reparent : GObj.widget -> unit
 279     method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
 280     method vbox3 : GPack.box
 281     method xml : Glade.glade_xml Gtk.obj
 282   end
 283 val check_all : ?show:bool -> unit -> unit