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 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
103 class fileSelectionWin :
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
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
152 class confirmationDialog :
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
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
200 class uriChoiceDialog :
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
258 class interpChoiceDialog :
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
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
314 val check_all : ?show:bool -> unit -> unit