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
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
105 class fileSelectionWin :
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
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
152 class confirmationDialog :
158 val confirmationDialog :
159 [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
160 val confirmationDialogCancelButton : GButton.button
161 val confirmationDialogLabel : GMisc.label
162 val confirmationDialogOkButton : GButton.button
163 val dialog_vbox1 : GPack.box
164 val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
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 :
169 [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
170 method confirmationDialogCancelButton : GButton.button
171 method confirmationDialogLabel : GMisc.label
172 method confirmationDialogOkButton : GButton.button
173 method dialog_vbox1 : GPack.box
174 method reparent : GObj.widget -> unit
175 method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
176 method xml : Glade.glade_xml Gtk.obj
184 val aboutDismissButton : GButton.button
185 val aboutWin : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
186 val dialog_vbox2 : GPack.box
187 val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
188 val xml : Glade.glade_xml Gtk.obj
189 method aboutDismissButton : GButton.button
190 method aboutWin : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
191 method bind : name:string -> callback:(unit -> unit) -> unit
192 method check_widgets : unit -> unit
193 method dialog_vbox2 : GPack.box
194 method reparent : GObj.widget -> unit
195 method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
196 method xml : Glade.glade_xml Gtk.obj
198 class uriChoiceDialog :
204 val alignment1 : GBin.alignment
205 val alignment2 : GBin.alignment
206 val dialog_vbox3 : GPack.box
207 val entry1 : GEdit.entry
208 val hbox1 : GPack.box
209 val hbox2 : GPack.box
210 val hbox3 : GPack.box
211 val image18 : GMisc.image
212 val image19 : GMisc.image
213 val label1 : GMisc.label
214 val label2 : GMisc.label
215 val label3 : GMisc.label
216 val scrolledwindow1 : GBin.scrolled_window
217 val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
218 val uriChoiceAbortButton : GButton.button
219 val uriChoiceAutoButton : GButton.button
220 val uriChoiceConstantsButton : GButton.button
221 val uriChoiceDialog :
222 [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
223 val uriChoiceLabel : GMisc.label
224 val uriChoiceSelectedButton : GButton.button
225 val uriChoiceTreeView : GTree.view
226 val vbox2 : GPack.box
227 val xml : Glade.glade_xml Gtk.obj
228 method alignment1 : GBin.alignment
229 method alignment2 : GBin.alignment
230 method bind : name:string -> callback:(unit -> unit) -> unit
231 method check_widgets : unit -> unit
232 method dialog_vbox3 : GPack.box
233 method entry1 : GEdit.entry
234 method hbox1 : GPack.box
235 method hbox2 : GPack.box
236 method hbox3 : GPack.box
237 method image18 : GMisc.image
238 method image19 : GMisc.image
239 method label1 : GMisc.label
240 method label2 : GMisc.label
241 method label3 : GMisc.label
242 method reparent : GObj.widget -> unit
243 method scrolledwindow1 : GBin.scrolled_window
244 method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
245 method uriChoiceAbortButton : GButton.button
246 method uriChoiceAutoButton : GButton.button
247 method uriChoiceConstantsButton : GButton.button
248 method uriChoiceDialog :
249 [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
250 method uriChoiceLabel : GMisc.label
251 method uriChoiceSelectedButton : GButton.button
252 method uriChoiceTreeView : GTree.view
253 method vbox2 : GPack.box
254 method xml : Glade.glade_xml Gtk.obj
256 class interpChoiceDialog :
262 val dialog_vbox4 : GPack.box
263 val interpChoiceCancelButton : GButton.button
264 val interpChoiceDialog :
265 [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
266 val interpChoiceHelpButton : GButton.button
267 val interpChoiceOkButton : GButton.button
268 val label6 : GMisc.label
269 val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
270 val vbox3 : GPack.box
271 val xml : Glade.glade_xml Gtk.obj
272 method bind : name:string -> callback:(unit -> unit) -> unit
273 method check_widgets : unit -> unit
274 method dialog_vbox4 : GPack.box
275 method interpChoiceCancelButton : GButton.button
276 method interpChoiceDialog :
277 [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
278 method interpChoiceHelpButton : GButton.button
279 method interpChoiceOkButton : GButton.button
280 method label6 : GMisc.label
281 method reparent : GObj.widget -> unit
282 method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
283 method vbox3 : GPack.box
284 method xml : Glade.glade_xml Gtk.obj
292 val emptyDialog : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
293 val emptyDialogCancelButton : GButton.button
294 val emptyDialogLabel : GMisc.label
295 val emptyDialogOkButton : GButton.button
296 val emptyDialogVBox : GPack.box
297 val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
298 val xml : Glade.glade_xml Gtk.obj
299 method bind : name:string -> callback:(unit -> unit) -> unit
300 method check_widgets : unit -> unit
302 [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
303 method emptyDialogCancelButton : GButton.button
304 method emptyDialogLabel : GMisc.label
305 method emptyDialogOkButton : GButton.button
306 method emptyDialogVBox : GPack.box
307 method reparent : GObj.widget -> unit
308 method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
309 method xml : Glade.glade_xml Gtk.obj
311 val check_all : ?show:bool -> unit -> unit