7 val aboutMenuItem : GMenu.menu_item
8 val debugMenu : GMenu.menu_item
9 val debugMenuItem0 : GMenu.menu_item
10 val debugMenuItem1 : GMenu.menu_item
11 val debugMenuItem2 : GMenu.menu_item
12 val debugMenu_menu : GMenu.menu
13 val editMenu : GMenu.menu_item
14 val fileMenu : GMenu.menu_item
15 val fileMenu_menu : GMenu.menu
16 val helpMenu : GMenu.menu_item
17 val helpMenu_menu : GMenu.menu
18 val image40 : GMisc.image
19 val image41 : GMisc.image
20 val image42 : GMisc.image
21 val image43 : GMisc.image
22 val image44 : GMisc.image
23 val mainMenuBar : GMenu.menu_shell
24 val mainStatusBar : GMisc.statusbar
25 val mainVPanes : GPack.paned
26 val mainWin : GWindow.window
27 val mainWinShape : GPack.box
28 val newDefsMenuItem : GMenu.menu_item
29 val newMenu : GMenu.image_menu_item
30 val newMenu_menu : GMenu.menu
31 val newProofMenuItem : GMenu.menu_item
32 val openMenuItem : GMenu.image_menu_item
33 val proofStatus : GBin.scrolled_window
34 val quitMenuItem : GMenu.image_menu_item
35 val saveAsMenuItem : GMenu.image_menu_item
36 val saveMenuItem : GMenu.image_menu_item
37 val scrolledUserInput : GBin.scrolled_window
38 val separator1 : GMenu.menu_item
39 val showProofMenuItem : GMenu.check_menu_item
40 val showToolBarMenuItem : GMenu.check_menu_item
41 val toplevel : GWindow.window
42 val viewMenu : GMenu.menu_item
43 val viewMenu_menu : GMenu.menu
44 val xml : Glade.glade_xml Gtk.obj
45 method aboutMenuItem : GMenu.menu_item
46 method bind : name:string -> callback:(unit -> unit) -> unit
47 method check_widgets : unit -> unit
48 method debugMenu : GMenu.menu_item
49 method debugMenuItem0 : GMenu.menu_item
50 method debugMenuItem1 : GMenu.menu_item
51 method debugMenuItem2 : GMenu.menu_item
52 method debugMenu_menu : GMenu.menu
53 method editMenu : GMenu.menu_item
54 method fileMenu : GMenu.menu_item
55 method fileMenu_menu : GMenu.menu
56 method helpMenu : GMenu.menu_item
57 method helpMenu_menu : GMenu.menu
58 method image40 : GMisc.image
59 method image41 : GMisc.image
60 method image42 : GMisc.image
61 method image43 : GMisc.image
62 method image44 : GMisc.image
63 method mainMenuBar : GMenu.menu_shell
64 method mainStatusBar : GMisc.statusbar
65 method mainVPanes : GPack.paned
66 method mainWin : GWindow.window
67 method mainWinShape : GPack.box
68 method newDefsMenuItem : GMenu.menu_item
69 method newMenu : GMenu.image_menu_item
70 method newMenu_menu : GMenu.menu
71 method newProofMenuItem : GMenu.menu_item
72 method openMenuItem : GMenu.image_menu_item
73 method proofStatus : GBin.scrolled_window
74 method quitMenuItem : GMenu.image_menu_item
75 method reparent : GObj.widget -> unit
76 method saveAsMenuItem : GMenu.image_menu_item
77 method saveMenuItem : GMenu.image_menu_item
78 method scrolledUserInput : GBin.scrolled_window
79 method separator1 : GMenu.menu_item
80 method showProofMenuItem : GMenu.check_menu_item
81 method showToolBarMenuItem : GMenu.check_menu_item
82 method toplevel : GWindow.window
83 method viewMenu : GMenu.menu_item
84 method viewMenu_menu : GMenu.menu
85 method xml : Glade.glade_xml Gtk.obj
93 val proofWin : GWindow.window
94 val proofWinEventBox : GBin.event_box
95 val scrolledProof : GBin.scrolled_window
96 val toplevel : GWindow.window
97 val viewport1 : GBin.viewport
98 val xml : Glade.glade_xml Gtk.obj
99 method bind : name:string -> callback:(unit -> unit) -> unit
100 method check_widgets : unit -> unit
101 method proofWin : GWindow.window
102 method proofWinEventBox : GBin.event_box
103 method reparent : GObj.widget -> unit
104 method scrolledProof : GBin.scrolled_window
105 method toplevel : GWindow.window
106 method viewport1 : GBin.viewport
107 method xml : Glade.glade_xml Gtk.obj
109 class fileSelectionWin :
115 val cancel_button1 : GButton.button
116 val fileSelectionWin : GWindow.file_selection
117 val ok_button1 : GButton.button
118 val toplevel : GWindow.file_selection
119 val xml : Glade.glade_xml Gtk.obj
120 method bind : name:string -> callback:(unit -> unit) -> unit
121 method cancel_button1 : GButton.button
122 method check_widgets : unit -> unit
123 method fileSelectionWin : GWindow.file_selection
124 method ok_button1 : GButton.button
125 method toplevel : GWindow.file_selection
126 method xml : Glade.glade_xml Gtk.obj
134 val button1 : GButton.button
135 val button2 : GButton.button
136 val button3 : GButton.button
137 val button4 : GButton.button
138 val toolBarEventBox : GBin.event_box
139 val toolBarWin : GWindow.window
140 val toplevel : GWindow.window
141 val vbox1 : GPack.box
142 val xml : Glade.glade_xml Gtk.obj
143 method bind : name:string -> callback:(unit -> unit) -> unit
144 method button1 : GButton.button
145 method button2 : GButton.button
146 method button3 : GButton.button
147 method button4 : GButton.button
148 method check_widgets : unit -> unit
149 method reparent : GObj.widget -> unit
150 method toolBarEventBox : GBin.event_box
151 method toolBarWin : GWindow.window
152 method toplevel : GWindow.window
153 method vbox1 : GPack.box
154 method xml : Glade.glade_xml Gtk.obj
156 class genericDialog :
162 val cancelbutton1 : GButton.button
163 val dialog_vbox1 : GPack.box
164 val genericDialog : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
165 val okbutton1 : GButton.button
166 val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
167 val xml : Glade.glade_xml Gtk.obj
168 method bind : name:string -> callback:(unit -> unit) -> unit
169 method cancelbutton1 : GButton.button
170 method check_widgets : unit -> unit
171 method dialog_vbox1 : GPack.box
172 method genericDialog :
173 [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
174 method okbutton1 : GButton.button
175 method reparent : GObj.widget -> unit
176 method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
177 method xml : Glade.glade_xml Gtk.obj
185 val aboutDismissButton : GButton.button
186 val aboutWin : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
187 val dialog_vbox2 : GPack.box
188 val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
189 val xml : Glade.glade_xml Gtk.obj
190 method aboutDismissButton : GButton.button
191 method aboutWin : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
192 method bind : name:string -> callback:(unit -> unit) -> unit
193 method check_widgets : unit -> unit
194 method dialog_vbox2 : GPack.box
195 method reparent : GObj.widget -> unit
196 method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
197 method xml : Glade.glade_xml Gtk.obj
199 class uriChoiceDialog :
205 val alignment1 : GBin.alignment
206 val alignment2 : GBin.alignment
207 val dialog_vbox3 : GPack.box
208 val entry1 : GEdit.entry
209 val hbox1 : GPack.box
210 val hbox2 : GPack.box
211 val hbox3 : GPack.box
212 val image18 : GMisc.image
213 val image19 : GMisc.image
214 val label1 : GMisc.label
215 val label2 : GMisc.label
216 val label3 : GMisc.label
217 val scrolledwindow1 : GBin.scrolled_window
218 val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
219 val uriChoiceAbortButton : GButton.button
220 val uriChoiceAutoButton : GButton.button
221 val uriChoiceConstantsButton : GButton.button
222 val uriChoiceDialog :
223 [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
224 val uriChoiceLabel : GMisc.label
225 val uriChoiceSelectedButton : GButton.button
226 val uriChoiceTreeView : GTree.view
227 val vbox2 : GPack.box
228 val xml : Glade.glade_xml Gtk.obj
229 method alignment1 : GBin.alignment
230 method alignment2 : GBin.alignment
231 method bind : name:string -> callback:(unit -> unit) -> unit
232 method check_widgets : unit -> unit
233 method dialog_vbox3 : GPack.box
234 method entry1 : GEdit.entry
235 method hbox1 : GPack.box
236 method hbox2 : GPack.box
237 method hbox3 : GPack.box
238 method image18 : GMisc.image
239 method image19 : GMisc.image
240 method label1 : GMisc.label
241 method label2 : GMisc.label
242 method label3 : GMisc.label
243 method reparent : GObj.widget -> unit
244 method scrolledwindow1 : GBin.scrolled_window
245 method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
246 method uriChoiceAbortButton : GButton.button
247 method uriChoiceAutoButton : GButton.button
248 method uriChoiceConstantsButton : GButton.button
249 method uriChoiceDialog :
250 [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
251 method uriChoiceLabel : GMisc.label
252 method uriChoiceSelectedButton : GButton.button
253 method uriChoiceTreeView : GTree.view
254 method vbox2 : GPack.box
255 method xml : Glade.glade_xml Gtk.obj
257 class interpChoiceDialog :
263 val dialog_vbox4 : GPack.box
264 val interpChoiceCancelButton : GButton.button
265 val interpChoiceDialog :
266 [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
267 val interpChoiceHelpButton : GButton.button
268 val interpChoiceOkButton : GButton.button
269 val label6 : GMisc.label
270 val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
271 val vbox3 : GPack.box
272 val xml : Glade.glade_xml Gtk.obj
273 method bind : name:string -> callback:(unit -> unit) -> unit
274 method check_widgets : unit -> unit
275 method dialog_vbox4 : GPack.box
276 method interpChoiceCancelButton : GButton.button
277 method interpChoiceDialog :
278 [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
279 method interpChoiceHelpButton : GButton.button
280 method interpChoiceOkButton : GButton.button
281 method label6 : GMisc.label
282 method reparent : GObj.widget -> unit
283 method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
284 method vbox3 : GPack.box
285 method xml : Glade.glade_xml Gtk.obj
293 val cancelbutton2 : GButton.button
294 val debug : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
295 val dialog_vbox5 : GPack.box
296 val okbutton2 : GButton.button
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 cancelbutton2 : GButton.button
301 method check_widgets : unit -> unit
302 method debug : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
303 method dialog_vbox5 : GPack.box
304 method okbutton2 : GButton.button
305 method reparent : GObj.widget -> unit
306 method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
307 method xml : Glade.glade_xml Gtk.obj
309 val check_all : ?show:bool -> unit -> unit