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