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 image128 : GMisc.image
17 val image129 : GMisc.image
18 val image130 : GMisc.image
19 val image131 : GMisc.image
20 val image132 : 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 showScriptMenuItem : GMenu.check_menu_item
43 val showToolBarMenuItem : GMenu.check_menu_item
44 val toplevel : GWindow.window
45 val viewMenu : GMenu.menu_item
46 val viewMenu_menu : GMenu.menu
47 val viewport1 : GBin.viewport
48 val xml : Glade.glade_xml Gtk.obj
49 method aboutMenuItem : GMenu.menu_item
50 method bind : name:string -> callback:(unit -> unit) -> unit
51 method check_widgets : unit -> unit
52 method consoleEventBox : GBin.event_box
53 method debugMenu : GMenu.menu_item
54 method debugMenu_menu : GMenu.menu
55 method editMenu : GMenu.menu_item
56 method fileMenu : GMenu.menu_item
57 method fileMenu_menu : GMenu.menu
58 method helpMenu : GMenu.menu_item
59 method helpMenu_menu : GMenu.menu
60 method image128 : GMisc.image
61 method image129 : GMisc.image
62 method image130 : GMisc.image
63 method image131 : GMisc.image
64 method image132 : GMisc.image
65 method mainMenuBar : GMenu.menu_shell
66 method mainStatusBar : GMisc.statusbar
67 method mainVPanes : GPack.paned
68 method mainWin : GWindow.window
69 method mainWinEventBox : GBin.event_box
70 method mainWinShape : GPack.box
71 method newDefsMenuItem : GMenu.menu_item
72 method newMenu : GMenu.image_menu_item
73 method newMenu_menu : GMenu.menu
74 method newProofMenuItem : GMenu.menu_item
75 method openMenuItem : GMenu.image_menu_item
76 method quitMenuItem : GMenu.image_menu_item
77 method reparent : GObj.widget -> unit
78 method saveAsMenuItem : GMenu.image_menu_item
79 method saveMenuItem : GMenu.image_menu_item
80 method scrolledConsole : GBin.scrolled_window
81 method scrolledSequents : GBin.scrolled_window
82 method separator1 : GMenu.menu_item
83 method separator2 : GMenu.menu_item
84 method sequentsNotebook : GPack.notebook
85 method showCheckMenuItem : GMenu.check_menu_item
86 method showProofMenuItem : GMenu.check_menu_item
87 method showScriptMenuItem : GMenu.check_menu_item
88 method showToolBarMenuItem : GMenu.check_menu_item
89 method toplevel : GWindow.window
90 method viewMenu : GMenu.menu_item
91 method viewMenu_menu : GMenu.menu
92 method viewport1 : GBin.viewport
93 method xml : Glade.glade_xml Gtk.obj
101 val proofWin : GWindow.window
102 val proofWinEventBox : GBin.event_box
103 val scrolledProof : GBin.scrolled_window
104 val toplevel : GWindow.window
105 val xml : Glade.glade_xml Gtk.obj
106 method bind : name:string -> callback:(unit -> unit) -> unit
107 method check_widgets : unit -> unit
108 method proofWin : GWindow.window
109 method proofWinEventBox : GBin.event_box
110 method reparent : GObj.widget -> unit
111 method scrolledProof : GBin.scrolled_window
112 method toplevel : GWindow.window
113 method xml : Glade.glade_xml Gtk.obj
115 class fileSelectionWin :
121 val fileSelCancelButton : GButton.button
122 val fileSelOkButton : GButton.button
123 val fileSelectionWin : GWindow.file_selection
124 val toplevel : GWindow.file_selection
125 val xml : Glade.glade_xml Gtk.obj
126 method bind : name:string -> callback:(unit -> unit) -> unit
127 method check_widgets : unit -> unit
128 method fileSelCancelButton : GButton.button
129 method fileSelOkButton : GButton.button
130 method fileSelectionWin : GWindow.file_selection
131 method toplevel : GWindow.file_selection
132 method xml : Glade.glade_xml Gtk.obj
140 val button1 : GButton.button
141 val button2 : GButton.button
142 val button3 : GButton.button
143 val button4 : GButton.button
144 val toolBarEventBox : GBin.event_box
145 val toolBarWin : GWindow.window
146 val toplevel : GWindow.window
147 val vbox1 : GPack.box
148 val vbuttonbox1 : GPack.button_box
149 val xml : Glade.glade_xml Gtk.obj
150 method bind : name:string -> callback:(unit -> unit) -> unit
151 method button1 : GButton.button
152 method button2 : GButton.button
153 method button3 : GButton.button
154 method button4 : GButton.button
155 method check_widgets : unit -> unit
156 method reparent : GObj.widget -> unit
157 method toolBarEventBox : GBin.event_box
158 method toolBarWin : GWindow.window
159 method toplevel : GWindow.window
160 method vbox1 : GPack.box
161 method vbuttonbox1 : GPack.button_box
162 method xml : Glade.glade_xml Gtk.obj
164 class confirmationDialog :
170 val confirmationDialog : GWindow.dialog_any
171 val confirmationDialogCancelButton : GButton.button
172 val confirmationDialogLabel : GMisc.label
173 val confirmationDialogOkButton : GButton.button
174 val dialog_action_area1 : GPack.button_box
175 val dialog_vbox1 : GPack.box
176 val toplevel : GWindow.dialog_any
177 val xml : Glade.glade_xml Gtk.obj
178 method bind : name:string -> callback:(unit -> unit) -> unit
179 method check_widgets : unit -> unit
180 method confirmationDialog : GWindow.dialog_any
181 method confirmationDialogCancelButton : GButton.button
182 method confirmationDialogLabel : GMisc.label
183 method confirmationDialogOkButton : GButton.button
184 method dialog_action_area1 : GPack.button_box
185 method dialog_vbox1 : GPack.box
186 method reparent : GObj.widget -> unit
187 method toplevel : GWindow.dialog_any
188 method xml : Glade.glade_xml Gtk.obj
196 val aboutDismissButton : GButton.button
197 val aboutLabel : GMisc.label
198 val aboutWin : GWindow.dialog_any
199 val dialog_action_area2 : GPack.button_box
200 val dialog_vbox2 : GPack.box
201 val toplevel : GWindow.dialog_any
202 val xml : Glade.glade_xml Gtk.obj
203 method aboutDismissButton : GButton.button
204 method aboutLabel : GMisc.label
205 method aboutWin : GWindow.dialog_any
206 method bind : name:string -> callback:(unit -> unit) -> unit
207 method check_widgets : unit -> unit
208 method dialog_action_area2 : GPack.button_box
209 method dialog_vbox2 : GPack.box
210 method reparent : GObj.widget -> unit
211 method toplevel : GWindow.dialog_any
212 method xml : Glade.glade_xml Gtk.obj
214 class uriChoiceDialog :
220 val alignment1 : GBin.alignment
221 val alignment2 : GBin.alignment
222 val dialog_action_area3 : GPack.button_box
223 val dialog_vbox3 : GPack.box
224 val entry1 : GEdit.entry
225 val hbox1 : GPack.box
226 val hbox2 : GPack.box
227 val hbox3 : GPack.box
228 val image18 : GMisc.image
229 val image19 : GMisc.image
230 val label1 : GMisc.label
231 val label2 : GMisc.label
232 val label3 : GMisc.label
233 val scrolledwindow1 : GBin.scrolled_window
234 val toplevel : GWindow.dialog_any
235 val uriChoiceAbortButton : GButton.button
236 val uriChoiceAutoButton : GButton.button
237 val uriChoiceConstantsButton : GButton.button
238 val uriChoiceDialog : GWindow.dialog_any
239 val uriChoiceLabel : GMisc.label
240 val uriChoiceSelectedButton : GButton.button
241 val uriChoiceTreeView : GTree.view
242 val vbox2 : GPack.box
243 val xml : Glade.glade_xml Gtk.obj
244 method alignment1 : GBin.alignment
245 method alignment2 : GBin.alignment
246 method bind : name:string -> callback:(unit -> unit) -> unit
247 method check_widgets : unit -> unit
248 method dialog_action_area3 : GPack.button_box
249 method dialog_vbox3 : GPack.box
250 method entry1 : GEdit.entry
251 method hbox1 : GPack.box
252 method hbox2 : GPack.box
253 method hbox3 : GPack.box
254 method image18 : GMisc.image
255 method image19 : GMisc.image
256 method label1 : GMisc.label
257 method label2 : GMisc.label
258 method label3 : GMisc.label
259 method reparent : GObj.widget -> unit
260 method scrolledwindow1 : GBin.scrolled_window
261 method toplevel : GWindow.dialog_any
262 method uriChoiceAbortButton : GButton.button
263 method uriChoiceAutoButton : GButton.button
264 method uriChoiceConstantsButton : GButton.button
265 method uriChoiceDialog : GWindow.dialog_any
266 method uriChoiceLabel : GMisc.label
267 method uriChoiceSelectedButton : GButton.button
268 method uriChoiceTreeView : GTree.view
269 method vbox2 : GPack.box
270 method xml : Glade.glade_xml Gtk.obj
272 class interpChoiceDialog :
278 val dialog_action_area4 : GPack.button_box
279 val dialog_vbox4 : GPack.box
280 val interpChoiceCancelButton : GButton.button
281 val interpChoiceDialog : GWindow.dialog_any
282 val interpChoiceHelpButton : GButton.button
283 val interpChoiceOkButton : GButton.button
284 val label6 : GMisc.label
285 val toplevel : GWindow.dialog_any
286 val vbox3 : GPack.box
287 val xml : Glade.glade_xml Gtk.obj
288 method bind : name:string -> callback:(unit -> unit) -> unit
289 method check_widgets : unit -> unit
290 method dialog_action_area4 : GPack.button_box
291 method dialog_vbox4 : GPack.box
292 method interpChoiceCancelButton : GButton.button
293 method interpChoiceDialog : GWindow.dialog_any
294 method interpChoiceHelpButton : GButton.button
295 method interpChoiceOkButton : GButton.button
296 method label6 : GMisc.label
297 method reparent : GObj.widget -> unit
298 method toplevel : GWindow.dialog_any
299 method vbox3 : GPack.box
300 method xml : Glade.glade_xml Gtk.obj
308 val dialog_action_area5 : GPack.button_box
309 val emptyDialog : GWindow.dialog_any
310 val emptyDialogCancelButton : GButton.button
311 val emptyDialogLabel : GMisc.label
312 val emptyDialogOkButton : GButton.button
313 val emptyDialogVBox : GPack.box
314 val toplevel : GWindow.dialog_any
315 val xml : Glade.glade_xml Gtk.obj
316 method bind : name:string -> callback:(unit -> unit) -> unit
317 method check_widgets : unit -> unit
318 method dialog_action_area5 : GPack.button_box
319 method emptyDialog : GWindow.dialog_any
320 method emptyDialogCancelButton : GButton.button
321 method emptyDialogLabel : GMisc.label
322 method emptyDialogOkButton : GButton.button
323 method emptyDialogVBox : GPack.box
324 method reparent : GObj.widget -> unit
325 method toplevel : GWindow.dialog_any
326 method xml : Glade.glade_xml Gtk.obj
334 val checkWin : GWindow.window
335 val checkWinEventBox : GBin.event_box
336 val scrolledCheck : GBin.scrolled_window
337 val toplevel : GWindow.window
338 val xml : Glade.glade_xml Gtk.obj
339 method bind : name:string -> callback:(unit -> unit) -> unit
340 method checkWin : GWindow.window
341 method checkWinEventBox : GBin.event_box
342 method check_widgets : unit -> unit
343 method reparent : GObj.widget -> unit
344 method scrolledCheck : GBin.scrolled_window
345 method toplevel : GWindow.window
346 method xml : Glade.glade_xml Gtk.obj
354 val button5 : GButton.button
355 val button6 : GButton.button
356 val button7 : GButton.button
357 val image133 : GMisc.image
358 val image134 : GMisc.image
359 val image135 : GMisc.image
360 val scriptTextView : GText.view
361 val scriptWin : GWindow.window
362 val scriptWinEventBox : GBin.event_box
363 val scrolledScript : GBin.scrolled_window
364 val toolbar1 : GButton.toolbar
365 val toplevel : GWindow.window
366 val vbox4 : GPack.box
367 val xml : Glade.glade_xml Gtk.obj
368 method bind : name:string -> callback:(unit -> unit) -> unit
369 method button5 : GButton.button
370 method button6 : GButton.button
371 method button7 : GButton.button
372 method check_widgets : unit -> unit
373 method image133 : GMisc.image
374 method image134 : GMisc.image
375 method image135 : GMisc.image
376 method reparent : GObj.widget -> unit
377 method scriptTextView : GText.view
378 method scriptWin : GWindow.window
379 method scriptWinEventBox : GBin.event_box
380 method scrolledScript : GBin.scrolled_window
381 method toolbar1 : GButton.toolbar
382 method toplevel : GWindow.window
383 method vbox4 : GPack.box
384 method xml : Glade.glade_xml Gtk.obj
386 val check_all : ?show:bool -> unit -> unit