7 val aboutMenuItem : GMenu.menu_item
8 val editMenu : GMenu.menu_item
9 val fileMenu : GMenu.menu_item
10 val fileMenu_menu : GMenu.menu
11 val helpMenu : GMenu.menu_item
12 val helpMenu_menu : GMenu.menu
13 val image13 : GMisc.image
14 val image14 : GMisc.image
15 val image15 : GMisc.image
16 val image16 : GMisc.image
17 val image17 : GMisc.image
18 val mainMenuBar : GMenu.menu_shell
19 val mainStatusBar : GMisc.statusbar
20 val mainVPanes : GPack.paned
21 val mainWin : GWindow.window
22 val mainWinShape : GPack.box
23 val newDefsMenuItem : GMenu.menu_item
24 val newMenu : GMenu.image_menu_item
25 val newMenu_menu : GMenu.menu
26 val newProofMenuItem : GMenu.menu_item
27 val openMenuItem : GMenu.image_menu_item
28 val proofStatus : GBin.scrolled_window
29 val quitMenuItem : GMenu.image_menu_item
30 val saveAsMenuItem : GMenu.image_menu_item
31 val saveMenuItem : GMenu.image_menu_item
32 val scrolledUserInput : GBin.scrolled_window
33 val separator1 : GMenu.menu_item
34 val showProofMenuItem : GMenu.check_menu_item
35 val showToolBarMenuItem : GMenu.check_menu_item
36 val toplevel : GWindow.window
37 val viewMenu : GMenu.menu_item
38 val viewMenu_menu : GMenu.menu
39 val xml : Glade.glade_xml Gtk.obj
40 method aboutMenuItem : GMenu.menu_item
41 method bind : name:string -> callback:(unit -> unit) -> unit
42 method check_widgets : unit -> unit
43 method editMenu : GMenu.menu_item
44 method fileMenu : GMenu.menu_item
45 method fileMenu_menu : GMenu.menu
46 method helpMenu : GMenu.menu_item
47 method helpMenu_menu : GMenu.menu
48 method image13 : GMisc.image
49 method image14 : GMisc.image
50 method image15 : GMisc.image
51 method image16 : GMisc.image
52 method image17 : GMisc.image
53 method mainMenuBar : GMenu.menu_shell
54 method mainStatusBar : GMisc.statusbar
55 method mainVPanes : GPack.paned
56 method mainWin : GWindow.window
57 method mainWinShape : GPack.box
58 method newDefsMenuItem : GMenu.menu_item
59 method newMenu : GMenu.image_menu_item
60 method newMenu_menu : GMenu.menu
61 method newProofMenuItem : GMenu.menu_item
62 method openMenuItem : GMenu.image_menu_item
63 method proofStatus : GBin.scrolled_window
64 method quitMenuItem : GMenu.image_menu_item
65 method reparent : GObj.widget -> unit
66 method saveAsMenuItem : GMenu.image_menu_item
67 method saveMenuItem : GMenu.image_menu_item
68 method scrolledUserInput : GBin.scrolled_window
69 method separator1 : GMenu.menu_item
70 method showProofMenuItem : GMenu.check_menu_item
71 method showToolBarMenuItem : GMenu.check_menu_item
72 method toplevel : GWindow.window
73 method viewMenu : GMenu.menu_item
74 method viewMenu_menu : GMenu.menu
75 method xml : Glade.glade_xml Gtk.obj
83 val proofWin : GWindow.window
84 val proofWinEventBox : GBin.event_box
85 val scrolledProof : GBin.scrolled_window
86 val toplevel : GWindow.window
87 val viewport1 : GBin.viewport
88 val xml : Glade.glade_xml Gtk.obj
89 method bind : name:string -> callback:(unit -> unit) -> unit
90 method check_widgets : unit -> unit
91 method proofWin : GWindow.window
92 method proofWinEventBox : GBin.event_box
93 method reparent : GObj.widget -> unit
94 method scrolledProof : GBin.scrolled_window
95 method toplevel : GWindow.window
96 method viewport1 : GBin.viewport
97 method xml : Glade.glade_xml Gtk.obj
99 class fileSelectionWin :
105 val cancel_button1 : GButton.button
106 val fileSelectionWin : GWindow.file_selection
107 val ok_button1 : GButton.button
108 val toplevel : GWindow.file_selection
109 val xml : Glade.glade_xml Gtk.obj
110 method bind : name:string -> callback:(unit -> unit) -> unit
111 method cancel_button1 : GButton.button
112 method check_widgets : unit -> unit
113 method fileSelectionWin : GWindow.file_selection
114 method ok_button1 : GButton.button
115 method toplevel : GWindow.file_selection
116 method xml : Glade.glade_xml Gtk.obj
124 val button1 : GButton.button
125 val button2 : GButton.button
126 val button3 : GButton.button
127 val button4 : GButton.button
128 val toolBarEventBox : GBin.event_box
129 val toolBarWin : GWindow.window
130 val toplevel : GWindow.window
131 val vbox1 : GPack.box
132 val xml : Glade.glade_xml Gtk.obj
133 method bind : name:string -> callback:(unit -> unit) -> unit
134 method button1 : GButton.button
135 method button2 : GButton.button
136 method button3 : GButton.button
137 method button4 : GButton.button
138 method check_widgets : unit -> unit
139 method reparent : GObj.widget -> unit
140 method toolBarEventBox : GBin.event_box
141 method toolBarWin : GWindow.window
142 method toplevel : GWindow.window
143 method vbox1 : GPack.box
144 method xml : Glade.glade_xml Gtk.obj
146 class genericDialog :
152 val cancelbutton1 : GButton.button
153 val dialog_vbox1 : GPack.box
154 val genericDialog : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
155 val okbutton1 : GButton.button
156 val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
157 val xml : Glade.glade_xml Gtk.obj
158 method bind : name:string -> callback:(unit -> unit) -> unit
159 method cancelbutton1 : GButton.button
160 method check_widgets : unit -> unit
161 method dialog_vbox1 : GPack.box
162 method genericDialog :
163 [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
164 method okbutton1 : GButton.button
165 method reparent : GObj.widget -> unit
166 method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
167 method xml : Glade.glade_xml Gtk.obj
175 val aboutDismissButton : GButton.button
176 val aboutWin : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
177 val dialog_vbox2 : GPack.box
178 val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
179 val xml : Glade.glade_xml Gtk.obj
180 method aboutDismissButton : GButton.button
181 method aboutWin : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
182 method bind : name:string -> callback:(unit -> unit) -> unit
183 method check_widgets : unit -> unit
184 method dialog_vbox2 : GPack.box
185 method reparent : GObj.widget -> unit
186 method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
187 method xml : Glade.glade_xml Gtk.obj
189 class uriChoiceDialog :
195 val alignment1 : GBin.alignment
196 val alignment2 : GBin.alignment
197 val dialog_vbox3 : GPack.box
198 val entry1 : GEdit.entry
199 val hbox1 : GPack.box
200 val hbox2 : GPack.box
201 val hbox3 : GPack.box
202 val image18 : GMisc.image
203 val image19 : GMisc.image
204 val label1 : GMisc.label
205 val label2 : GMisc.label
206 val label3 : GMisc.label
207 val scrolledwindow1 : GBin.scrolled_window
208 val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
209 val uriChoiceAbortButton : GButton.button
210 val uriChoiceAutoButton : GButton.button
211 val uriChoiceConstantsButton : GButton.button
212 val uriChoiceDialog :
213 [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
214 val uriChoiceLabel : GMisc.label
215 val uriChoiceSelectedButton : GButton.button
216 val uriChoiceTreeView : GTree.view
217 val vbox2 : GPack.box
218 val xml : Glade.glade_xml Gtk.obj
219 method alignment1 : GBin.alignment
220 method alignment2 : GBin.alignment
221 method bind : name:string -> callback:(unit -> unit) -> unit
222 method check_widgets : unit -> unit
223 method dialog_vbox3 : GPack.box
224 method entry1 : GEdit.entry
225 method hbox1 : GPack.box
226 method hbox2 : GPack.box
227 method hbox3 : GPack.box
228 method image18 : GMisc.image
229 method image19 : GMisc.image
230 method label1 : GMisc.label
231 method label2 : GMisc.label
232 method label3 : GMisc.label
233 method reparent : GObj.widget -> unit
234 method scrolledwindow1 : GBin.scrolled_window
235 method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
236 method uriChoiceAbortButton : GButton.button
237 method uriChoiceAutoButton : GButton.button
238 method uriChoiceConstantsButton : GButton.button
239 method uriChoiceDialog :
240 [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
241 method uriChoiceLabel : GMisc.label
242 method uriChoiceSelectedButton : GButton.button
243 method uriChoiceTreeView : GTree.view
244 method vbox2 : GPack.box
245 method xml : Glade.glade_xml Gtk.obj
247 class interpChoiceDialog :
253 val dialog_vbox4 : GPack.box
254 val interpChoiceCancelButton : GButton.button
255 val interpChoiceDialog :
256 [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
257 val interpChoiceHelpButton : GButton.button
258 val interpChoiceOkButton : GButton.button
259 val label6 : GMisc.label
260 val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
261 val vbox3 : GPack.box
262 val xml : Glade.glade_xml Gtk.obj
263 method bind : name:string -> callback:(unit -> unit) -> unit
264 method check_widgets : unit -> unit
265 method dialog_vbox4 : GPack.box
266 method interpChoiceCancelButton : GButton.button
267 method interpChoiceDialog :
268 [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
269 method interpChoiceHelpButton : GButton.button
270 method interpChoiceOkButton : GButton.button
271 method label6 : GMisc.label
272 method reparent : GObj.widget -> unit
273 method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
274 method vbox3 : GPack.box
275 method xml : Glade.glade_xml Gtk.obj
277 val check_all : ?show:bool -> unit -> unit