/[ascend]/trunk/pygtk/interface/ascend.glade
ViewVC logotype

Contents of /trunk/pygtk/interface/ascend.glade

Parent Directory Parent Directory | Revision Log Revision Log


Revision 231 - (show annotations) (download)
Sun Jan 29 14:15:44 2006 UTC (18 years, 4 months ago) by johnpye
File size: 50521 byte(s)
Moved some incidence matrix routines to generic/solver from tcltk98.
Documentation changes.
Added (inactive) incidence matrix menu item to PyGTK interface
Fixed autotools make for above changed (need to fix for Jam as well)
1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
3
4 <glade-interface>
5
6 <widget class="GtkWindow" id="browserwin">
7 <property name="visible">True</property>
8 <property name="title" translatable="yes">ASCEND PyGTK</property>
9 <property name="type">GTK_WINDOW_TOPLEVEL</property>
10 <property name="window_position">GTK_WIN_POS_NONE</property>
11 <property name="modal">False</property>
12 <property name="default_width">600</property>
13 <property name="default_height">768</property>
14 <property name="resizable">True</property>
15 <property name="destroy_with_parent">False</property>
16 <property name="icon_name">stock_fontwork</property>
17 <property name="decorated">True</property>
18 <property name="skip_taskbar_hint">False</property>
19 <property name="skip_pager_hint">False</property>
20 <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
21 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
22 <property name="focus_on_map">True</property>
23 <signal name="check_resize" handler="on_browserwin_check_resize" last_modification_time="Thu, 17 Nov 2005 15:56:29 GMT"/>
24 <signal name="focus" handler="on_browserwin_focus" last_modification_time="Sun, 04 Dec 2005 05:39:42 GMT"/>
25
26 <child>
27 <widget class="GtkVBox" id="vbox5">
28 <property name="visible">True</property>
29 <property name="homogeneous">False</property>
30 <property name="spacing">0</property>
31
32 <child>
33 <widget class="GtkMenuBar" id="browsermenu">
34 <property name="visible">True</property>
35
36 <child>
37 <widget class="GtkMenuItem" id="menuitem8">
38 <property name="visible">True</property>
39 <property name="label" translatable="yes">_File</property>
40 <property name="use_underline">True</property>
41
42 <child>
43 <widget class="GtkMenu" id="menuitem8_menu">
44
45 <child>
46 <widget class="GtkImageMenuItem" id="open2">
47 <property name="visible">True</property>
48 <property name="label">gtk-open</property>
49 <property name="use_stock">True</property>
50 <signal name="activate" handler="open_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/>
51 </widget>
52 </child>
53
54 <child>
55 <widget class="GtkImageMenuItem" id="reload">
56 <property name="visible">True</property>
57 <property name="label" translatable="yes">_Reload</property>
58 <property name="use_underline">True</property>
59 <signal name="activate" handler="reload_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/>
60
61 <child internal-child="image">
62 <widget class="GtkImage" id="image74">
63 <property name="visible">True</property>
64 <property name="stock">gtk-refresh</property>
65 <property name="icon_size">1</property>
66 <property name="xalign">0.5</property>
67 <property name="yalign">0.5</property>
68 <property name="xpad">0</property>
69 <property name="ypad">0</property>
70 </widget>
71 </child>
72 </widget>
73 </child>
74
75 <child>
76 <widget class="GtkSeparatorMenuItem" id="separatormenuitem2">
77 <property name="visible">True</property>
78 </widget>
79 </child>
80
81 <child>
82 <widget class="GtkImageMenuItem" id="quit">
83 <property name="visible">True</property>
84 <property name="label">gtk-quit</property>
85 <property name="use_stock">True</property>
86 <signal name="activate" handler="on_file_quit_click" last_modification_time="Sun, 29 Jan 2006 06:48:50 GMT"/>
87 </widget>
88 </child>
89 </widget>
90 </child>
91 </widget>
92 </child>
93
94 <child>
95 <widget class="GtkMenuItem" id="tools">
96 <property name="visible">True</property>
97 <property name="label" translatable="yes">_Tools</property>
98 <property name="use_underline">True</property>
99
100 <child>
101 <widget class="GtkMenu" id="tools_menu">
102
103 <child>
104 <widget class="GtkImageMenuItem" id="solve1">
105 <property name="visible">True</property>
106 <property name="label" translatable="yes">Sol_ve</property>
107 <property name="use_underline">True</property>
108 <signal name="activate" handler="solve_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/>
109
110 <child internal-child="image">
111 <widget class="GtkImage" id="image75">
112 <property name="visible">True</property>
113 <property name="stock">gtk-media-forward</property>
114 <property name="icon_size">1</property>
115 <property name="xalign">0.5</property>
116 <property name="yalign">0.5</property>
117 <property name="xpad">0</property>
118 <property name="ypad">0</property>
119 </widget>
120 </child>
121 </widget>
122 </child>
123
124 <child>
125 <widget class="GtkImageMenuItem" id="check1">
126 <property name="visible">True</property>
127 <property name="label" translatable="yes">_Check</property>
128 <property name="use_underline">True</property>
129 <signal name="activate" handler="check_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/>
130
131 <child internal-child="image">
132 <widget class="GtkImage" id="image76">
133 <property name="visible">True</property>
134 <property name="stock">gtk-spell-check</property>
135 <property name="icon_size">1</property>
136 <property name="xalign">0.5</property>
137 <property name="yalign">0.5</property>
138 <property name="xpad">0</property>
139 <property name="ypad">0</property>
140 </widget>
141 </child>
142 </widget>
143 </child>
144
145 <child>
146 <widget class="GtkMenuItem" id="sparsity">
147 <property name="visible">True</property>
148 <property name="tooltip" translatable="yes">View the sparsity pattern from the solver</property>
149 <property name="label" translatable="yes">Sp_arsity pattern...</property>
150 <property name="use_underline">True</property>
151 <signal name="activate" handler="on_tools_sparsity_click" last_modification_time="Sun, 29 Jan 2006 07:29:07 GMT"/>
152 </widget>
153 </child>
154
155 <child>
156 <widget class="GtkSeparatorMenuItem" id="separator3">
157 <property name="visible">True</property>
158 </widget>
159 </child>
160
161 <child>
162 <widget class="GtkCheckMenuItem" id="automenu">
163 <property name="visible">True</property>
164 <property name="tooltip" translatable="yes">Solve automatically after values change</property>
165 <property name="label" translatable="yes">_Auto</property>
166 <property name="use_underline">True</property>
167 <property name="active">True</property>
168 <signal name="activate" handler="on_tools_auto_toggle" last_modification_time="Sun, 29 Jan 2006 06:55:49 GMT"/>
169 </widget>
170 </child>
171
172 <child>
173 <widget class="GtkImageMenuItem" id="preferences">
174 <property name="visible">True</property>
175 <property name="label" translatable="yes">Solver _Parameters...</property>
176 <property name="use_underline">True</property>
177 <signal name="activate" handler="preferences_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/>
178
179 <child internal-child="image">
180 <widget class="GtkImage" id="image77">
181 <property name="visible">True</property>
182 <property name="stock">gtk-preferences</property>
183 <property name="icon_size">1</property>
184 <property name="xalign">0.5</property>
185 <property name="yalign">0.5</property>
186 <property name="xpad">0</property>
187 <property name="ypad">0</property>
188 </widget>
189 </child>
190 </widget>
191 </child>
192 </widget>
193 </child>
194 </widget>
195 </child>
196
197 <child>
198 <widget class="GtkMenuItem" id="help">
199 <property name="visible">True</property>
200 <property name="label" translatable="yes">_Help</property>
201 <property name="use_underline">True</property>
202
203 <child>
204 <widget class="GtkMenu" id="help_menu">
205
206 <child>
207 <widget class="GtkImageMenuItem" id="contents">
208 <property name="visible">True</property>
209 <property name="label" translatable="yes">_Contents</property>
210 <property name="use_underline">True</property>
211 <signal name="activate" handler="on_help_contents_click" last_modification_time="Sun, 29 Jan 2006 06:36:19 GMT"/>
212
213 <child internal-child="image">
214 <widget class="GtkImage" id="image78">
215 <property name="visible">True</property>
216 <property name="stock">gtk-help</property>
217 <property name="icon_size">1</property>
218 <property name="xalign">0.5</property>
219 <property name="yalign">0.5</property>
220 <property name="xpad">0</property>
221 <property name="ypad">0</property>
222 </widget>
223 </child>
224 </widget>
225 </child>
226
227 <child>
228 <widget class="GtkImageMenuItem" id="about">
229 <property name="visible">True</property>
230 <property name="label">gtk-about</property>
231 <property name="use_stock">True</property>
232 <signal name="activate" handler="on_help_about_click" last_modification_time="Sun, 29 Jan 2006 03:56:52 GMT"/>
233 </widget>
234 </child>
235 </widget>
236 </child>
237 </widget>
238 </child>
239 </widget>
240 <packing>
241 <property name="padding">0</property>
242 <property name="expand">False</property>
243 <property name="fill">False</property>
244 </packing>
245 </child>
246
247 <child>
248 <widget class="GtkToolbar" id="toolbar3">
249 <property name="visible">True</property>
250 <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
251 <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
252 <property name="tooltips">True</property>
253 <property name="show_arrow">True</property>
254
255 <child>
256 <widget class="GtkToolButton" id="openbutton">
257 <property name="visible">True</property>
258 <property name="stock_id">gtk-open</property>
259 <property name="visible_horizontal">True</property>
260 <property name="visible_vertical">True</property>
261 <property name="is_important">False</property>
262 <signal name="clicked" handler="on_openbutton_clicked" last_modification_time="Sun, 04 Dec 2005 05:48:03 GMT"/>
263 </widget>
264 <packing>
265 <property name="expand">False</property>
266 <property name="homogeneous">True</property>
267 </packing>
268 </child>
269
270 <child>
271 <widget class="GtkToolButton" id="reloadbutton">
272 <property name="visible">True</property>
273 <property name="label" translatable="yes">Re_load</property>
274 <property name="use_underline">True</property>
275 <property name="stock_id">gtk-refresh</property>
276 <property name="visible_horizontal">True</property>
277 <property name="visible_vertical">True</property>
278 <property name="is_important">False</property>
279 <signal name="clicked" handler="on_toolbutton11_clicked" last_modification_time="Sun, 04 Dec 2005 05:38:03 GMT"/>
280 </widget>
281 <packing>
282 <property name="expand">False</property>
283 <property name="homogeneous">True</property>
284 </packing>
285 </child>
286
287 <child>
288 <widget class="GtkSeparatorToolItem" id="separatortoolitem4">
289 <property name="visible">True</property>
290 <property name="draw">True</property>
291 <property name="visible_horizontal">True</property>
292 <property name="visible_vertical">True</property>
293 </widget>
294 <packing>
295 <property name="expand">False</property>
296 <property name="homogeneous">False</property>
297 </packing>
298 </child>
299
300 <child>
301 <widget class="GtkToolButton" id="solvebutton">
302 <property name="visible">True</property>
303 <property name="label" translatable="yes">_Solve</property>
304 <property name="use_underline">True</property>
305 <property name="stock_id">gtk-media-play</property>
306 <property name="visible_horizontal">True</property>
307 <property name="visible_vertical">True</property>
308 <property name="is_important">False</property>
309 <signal name="clicked" handler="on_solvebutton_clicked" last_modification_time="Thu, 17 Nov 2005 08:17:30 GMT"/>
310 </widget>
311 <packing>
312 <property name="expand">False</property>
313 <property name="homogeneous">True</property>
314 </packing>
315 </child>
316
317 <child>
318 <widget class="GtkToolButton" id="checkbutton">
319 <property name="visible">True</property>
320 <property name="label" translatable="yes">_Check</property>
321 <property name="use_underline">True</property>
322 <property name="stock_id">gtk-spell-check</property>
323 <property name="visible_horizontal">True</property>
324 <property name="visible_vertical">True</property>
325 <property name="is_important">False</property>
326 <signal name="clicked" handler="on_checkbutton_clicked" last_modification_time="Thu, 17 Nov 2005 08:17:40 GMT"/>
327 </widget>
328 <packing>
329 <property name="expand">False</property>
330 <property name="homogeneous">True</property>
331 </packing>
332 </child>
333
334 <child>
335 <widget class="GtkSeparatorToolItem" id="separatortoolitem5">
336 <property name="visible">True</property>
337 <property name="draw">True</property>
338 <property name="visible_horizontal">True</property>
339 <property name="visible_vertical">True</property>
340 </widget>
341 <packing>
342 <property name="expand">False</property>
343 <property name="homogeneous">False</property>
344 </packing>
345 </child>
346
347 <child>
348 <widget class="GtkToggleToolButton" id="autotoggle">
349 <property name="visible">True</property>
350 <property name="label" translatable="yes">_Auto</property>
351 <property name="use_underline">True</property>
352 <property name="stock_id">gtk-execute</property>
353 <property name="visible_horizontal">True</property>
354 <property name="visible_vertical">True</property>
355 <property name="is_important">False</property>
356 <property name="active">True</property>
357 <signal name="toggled" handler="on_toggletoolbutton1_toggled" last_modification_time="Thu, 17 Nov 2005 09:12:04 GMT"/>
358 </widget>
359 <packing>
360 <property name="expand">False</property>
361 <property name="homogeneous">True</property>
362 </packing>
363 </child>
364
365 <child>
366 <widget class="GtkSeparatorToolItem" id="separatortoolitem3">
367 <property name="visible">True</property>
368 <property name="draw">True</property>
369 <property name="visible_horizontal">True</property>
370 <property name="visible_vertical">True</property>
371 </widget>
372 <packing>
373 <property name="expand">False</property>
374 <property name="homogeneous">False</property>
375 </packing>
376 </child>
377
378 <child>
379 <widget class="GtkToolItem" id="toolitem3">
380 <property name="visible">True</property>
381 <property name="visible_horizontal">True</property>
382 <property name="visible_vertical">True</property>
383 <property name="is_important">False</property>
384
385 <child>
386 <widget class="GtkFrame" id="frame1">
387 <property name="visible">True</property>
388 <property name="label_xalign">0</property>
389 <property name="label_yalign">0.5</property>
390 <property name="shadow_type">GTK_SHADOW_NONE</property>
391
392 <child>
393 <widget class="GtkAlignment" id="alignment1">
394 <property name="visible">True</property>
395 <property name="xalign">0.5</property>
396 <property name="yalign">0.5</property>
397 <property name="xscale">1</property>
398 <property name="yscale">1</property>
399 <property name="top_padding">0</property>
400 <property name="bottom_padding">0</property>
401 <property name="left_padding">0</property>
402 <property name="right_padding">0</property>
403
404 <child>
405 <widget class="GtkHBox" id="hbox3">
406 <property name="visible">True</property>
407 <property name="homogeneous">False</property>
408 <property name="spacing">0</property>
409
410 <child>
411 <widget class="GtkComboBox" id="methodsel">
412 <property name="visible">True</property>
413 <property name="add_tearoffs">False</property>
414 <property name="focus_on_click">True</property>
415 </widget>
416 <packing>
417 <property name="padding">0</property>
418 <property name="expand">True</property>
419 <property name="fill">True</property>
420 </packing>
421 </child>
422
423 <child>
424 <widget class="GtkButton" id="methodrunbutton">
425 <property name="visible">True</property>
426 <property name="can_focus">True</property>
427 <property name="label" translatable="yes">_Run</property>
428 <property name="use_underline">True</property>
429 <property name="relief">GTK_RELIEF_NORMAL</property>
430 <property name="focus_on_click">True</property>
431 </widget>
432 <packing>
433 <property name="padding">4</property>
434 <property name="expand">False</property>
435 <property name="fill">False</property>
436 </packing>
437 </child>
438 </widget>
439 </child>
440 </widget>
441 </child>
442
443 <child>
444 <widget class="GtkLabel" id="label8">
445 <property name="visible">True</property>
446 <property name="label" translatable="yes">Methods</property>
447 <property name="use_underline">False</property>
448 <property name="use_markup">True</property>
449 <property name="justify">GTK_JUSTIFY_LEFT</property>
450 <property name="wrap">False</property>
451 <property name="selectable">False</property>
452 <property name="xalign">0.5</property>
453 <property name="yalign">0.5</property>
454 <property name="xpad">0</property>
455 <property name="ypad">3</property>
456 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
457 <property name="width_chars">-1</property>
458 <property name="single_line_mode">False</property>
459 <property name="angle">0</property>
460 </widget>
461 <packing>
462 <property name="type">label_item</property>
463 </packing>
464 </child>
465 </widget>
466 </child>
467 </widget>
468 <packing>
469 <property name="expand">False</property>
470 <property name="homogeneous">False</property>
471 </packing>
472 </child>
473 </widget>
474 <packing>
475 <property name="padding">0</property>
476 <property name="expand">False</property>
477 <property name="fill">False</property>
478 </packing>
479 </child>
480
481 <child>
482 <widget class="GtkVPaned" id="browserpaned">
483 <property name="height_request">320</property>
484 <property name="visible">True</property>
485 <property name="can_focus">True</property>
486 <property name="position">421</property>
487
488 <child>
489 <widget class="GtkScrolledWindow" id="scrolledwindow11">
490 <property name="height_request">400</property>
491 <property name="visible">True</property>
492 <property name="can_focus">True</property>
493 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
494 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
495 <property name="shadow_type">GTK_SHADOW_NONE</property>
496 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
497
498 <child>
499 <widget class="GtkViewport" id="viewport2">
500 <property name="visible">True</property>
501 <property name="shadow_type">GTK_SHADOW_IN</property>
502
503 <child>
504 <widget class="GtkNotebook" id="maintabs">
505 <property name="visible">True</property>
506 <property name="can_focus">True</property>
507 <property name="show_tabs">True</property>
508 <property name="show_border">True</property>
509 <property name="tab_pos">GTK_POS_TOP</property>
510 <property name="scrollable">False</property>
511 <property name="enable_popup">False</property>
512
513 <child>
514 <widget class="GtkScrolledWindow" id="scrolledwindow12">
515 <property name="visible">True</property>
516 <property name="can_focus">True</property>
517 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
518 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
519 <property name="shadow_type">GTK_SHADOW_NONE</property>
520 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
521
522 <child>
523 <widget class="GtkTreeView" id="moduleview">
524 <property name="visible">True</property>
525 <property name="can_focus">True</property>
526 <property name="headers_visible">True</property>
527 <property name="rules_hint">False</property>
528 <property name="reorderable">False</property>
529 <property name="enable_search">True</property>
530 <property name="fixed_height_mode">False</property>
531 <property name="hover_selection">False</property>
532 <property name="hover_expand">False</property>
533 <signal name="row_activated" handler="on_moduleview_row_activated" last_modification_time="Sun, 04 Dec 2005 13:02:19 GMT"/>
534 </widget>
535 </child>
536 </widget>
537 <packing>
538 <property name="tab_expand">False</property>
539 <property name="tab_fill">True</property>
540 </packing>
541 </child>
542
543 <child>
544 <widget class="GtkLabel" id="moduletab">
545 <property name="visible">True</property>
546 <property name="label" translatable="yes">Modules</property>
547 <property name="use_underline">False</property>
548 <property name="use_markup">False</property>
549 <property name="justify">GTK_JUSTIFY_LEFT</property>
550 <property name="wrap">False</property>
551 <property name="selectable">False</property>
552 <property name="xalign">0.5</property>
553 <property name="yalign">0.5</property>
554 <property name="xpad">0</property>
555 <property name="ypad">0</property>
556 <property name="mnemonic_widget">moduleview</property>
557 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
558 <property name="width_chars">-1</property>
559 <property name="single_line_mode">False</property>
560 <property name="angle">0</property>
561 </widget>
562 <packing>
563 <property name="type">tab</property>
564 </packing>
565 </child>
566
567 <child>
568 <widget class="GtkScrolledWindow" id="scrolledwindow13">
569 <property name="visible">True</property>
570 <property name="can_focus">True</property>
571 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
572 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
573 <property name="shadow_type">GTK_SHADOW_NONE</property>
574 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
575
576 <child>
577 <widget class="GtkTreeView" id="browserview">
578 <property name="visible">True</property>
579 <property name="can_focus">True</property>
580 <property name="has_focus">True</property>
581 <property name="headers_visible">True</property>
582 <property name="rules_hint">False</property>
583 <property name="reorderable">False</property>
584 <property name="enable_search">True</property>
585 <property name="fixed_height_mode">False</property>
586 <property name="hover_selection">False</property>
587 <property name="hover_expand">False</property>
588 <signal name="key_press_event" handler="on_browserview_key_press_event" last_modification_time="Thu, 17 Nov 2005 15:57:18 GMT"/>
589 </widget>
590 </child>
591 </widget>
592 <packing>
593 <property name="tab_expand">False</property>
594 <property name="tab_fill">True</property>
595 </packing>
596 </child>
597
598 <child>
599 <widget class="GtkLabel" id="label10">
600 <property name="visible">True</property>
601 <property name="label" translatable="yes">Simulation </property>
602 <property name="use_underline">False</property>
603 <property name="use_markup">False</property>
604 <property name="justify">GTK_JUSTIFY_LEFT</property>
605 <property name="wrap">False</property>
606 <property name="selectable">False</property>
607 <property name="xalign">0.5</property>
608 <property name="yalign">0.5</property>
609 <property name="xpad">0</property>
610 <property name="ypad">0</property>
611 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
612 <property name="width_chars">-1</property>
613 <property name="single_line_mode">False</property>
614 <property name="angle">0</property>
615 </widget>
616 <packing>
617 <property name="type">tab</property>
618 </packing>
619 </child>
620 </widget>
621 </child>
622 </widget>
623 </child>
624 </widget>
625 <packing>
626 <property name="shrink">True</property>
627 <property name="resize">False</property>
628 </packing>
629 </child>
630
631 <child>
632 <widget class="GtkNotebook" id="notebook4">
633 <property name="visible">True</property>
634 <property name="can_focus">True</property>
635 <property name="show_tabs">True</property>
636 <property name="show_border">True</property>
637 <property name="tab_pos">GTK_POS_TOP</property>
638 <property name="scrollable">False</property>
639 <property name="enable_popup">False</property>
640
641 <child>
642 <widget class="GtkScrolledWindow" id="scrolledwindow10">
643 <property name="visible">True</property>
644 <property name="can_focus">True</property>
645 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
646 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
647 <property name="shadow_type">GTK_SHADOW_IN</property>
648 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
649
650 <child>
651 <widget class="GtkTreeView" id="errorview">
652 <property name="height_request">202</property>
653 <property name="visible">True</property>
654 <property name="can_focus">True</property>
655 <property name="headers_visible">True</property>
656 <property name="rules_hint">False</property>
657 <property name="reorderable">False</property>
658 <property name="enable_search">True</property>
659 <property name="fixed_height_mode">False</property>
660 <property name="hover_selection">False</property>
661 <property name="hover_expand">False</property>
662 </widget>
663 </child>
664 </widget>
665 <packing>
666 <property name="tab_expand">False</property>
667 <property name="tab_fill">True</property>
668 </packing>
669 </child>
670
671 <child>
672 <widget class="GtkLabel" id="errortab">
673 <property name="visible">True</property>
674 <property name="label" translatable="yes">Errors / Warnings</property>
675 <property name="use_underline">False</property>
676 <property name="use_markup">False</property>
677 <property name="justify">GTK_JUSTIFY_LEFT</property>
678 <property name="wrap">False</property>
679 <property name="selectable">False</property>
680 <property name="xalign">0.5</property>
681 <property name="yalign">0.5</property>
682 <property name="xpad">0</property>
683 <property name="ypad">0</property>
684 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
685 <property name="width_chars">-1</property>
686 <property name="single_line_mode">False</property>
687 <property name="angle">0</property>
688 </widget>
689 <packing>
690 <property name="type">tab</property>
691 </packing>
692 </child>
693 </widget>
694 <packing>
695 <property name="shrink">True</property>
696 <property name="resize">True</property>
697 </packing>
698 </child>
699 </widget>
700 <packing>
701 <property name="padding">0</property>
702 <property name="expand">True</property>
703 <property name="fill">True</property>
704 </packing>
705 </child>
706
707 <child>
708 <widget class="GtkStatusbar" id="statusbar">
709 <property name="visible">True</property>
710 <property name="has_resize_grip">True</property>
711 </widget>
712 <packing>
713 <property name="padding">0</property>
714 <property name="expand">False</property>
715 <property name="fill">False</property>
716 </packing>
717 </child>
718 </widget>
719 </child>
720 </widget>
721
722 <widget class="GtkMenu" id="browsercontext">
723
724 <child>
725 <widget class="GtkImageMenuItem" id="fix1">
726 <property name="visible">True</property>
727 <property name="tooltip" translatable="yes">Make this a 'fixed' variable\n in the simulation</property>
728 <property name="label" translatable="yes">_Fix</property>
729 <property name="use_underline">True</property>
730 <signal name="activate" handler="on_fix1_activate" last_modification_time="Thu, 17 Nov 2005 12:34:26 GMT"/>
731 <accelerator key="f" modifiers="GDK_CONTROL_MASK" signal="activate"/>
732
733 <child internal-child="image">
734 <widget class="GtkImage" id="image11">
735 <property name="visible">True</property>
736 <property name="stock">gtk-yes</property>
737 <property name="icon_size">1</property>
738 <property name="xalign">0.5</property>
739 <property name="yalign">0.5</property>
740 <property name="xpad">0</property>
741 <property name="ypad">0</property>
742 </widget>
743 </child>
744 </widget>
745 </child>
746
747 <child>
748 <widget class="GtkImageMenuItem" id="free1">
749 <property name="visible">True</property>
750 <property name="tooltip" translatable="yes">Allow this variable to be varied\nwhen solving the system</property>
751 <property name="label" translatable="yes">F_ree</property>
752 <property name="use_underline">True</property>
753 <signal name="activate" handler="on_free1_activate" last_modification_time="Thu, 17 Nov 2005 12:34:26 GMT"/>
754 <accelerator key="r" modifiers="GDK_CONTROL_MASK" signal="activate"/>
755
756 <child internal-child="image">
757 <widget class="GtkImage" id="image12">
758 <property name="visible">True</property>
759 <property name="stock">gtk-no</property>
760 <property name="icon_size">1</property>
761 <property name="xalign">0.5</property>
762 <property name="yalign">0.5</property>
763 <property name="xpad">0</property>
764 <property name="ypad">0</property>
765 </widget>
766 </child>
767 </widget>
768 </child>
769
770 <child>
771 <widget class="GtkSeparatorMenuItem" id="separator2">
772 <property name="visible">True</property>
773 </widget>
774 </child>
775
776 <child>
777 <widget class="GtkMenuItem" id="plot1">
778 <property name="visible">True</property>
779 <property name="label" translatable="yes">_Plot</property>
780 <property name="use_underline">True</property>
781 <signal name="activate" handler="on_plot1_activate" last_modification_time="Fri, 06 Jan 2006 09:36:45 GMT"/>
782 <accelerator key="p" modifiers="GDK_CONTROL_MASK" signal="activate"/>
783 </widget>
784 </child>
785 </widget>
786
787 <widget class="GtkWindow" id="paramswin">
788 <property name="visible">True</property>
789 <property name="has_default">True</property>
790 <property name="title" translatable="yes">Solver Parameters</property>
791 <property name="type">GTK_WINDOW_TOPLEVEL</property>
792 <property name="window_position">GTK_WIN_POS_NONE</property>
793 <property name="modal">False</property>
794 <property name="default_width">700</property>
795 <property name="default_height">600</property>
796 <property name="resizable">True</property>
797 <property name="destroy_with_parent">False</property>
798 <property name="icon_name">gtk-properties</property>
799 <property name="decorated">True</property>
800 <property name="skip_taskbar_hint">False</property>
801 <property name="skip_pager_hint">False</property>
802 <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
803 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
804 <property name="focus_on_map">True</property>
805 <signal name="destroy" handler="on_paramswin_destroy" last_modification_time="Fri, 27 Jan 2006 05:15:10 GMT"/>
806
807 <child>
808 <widget class="GtkVBox" id="vbox6">
809 <property name="visible">True</property>
810 <property name="homogeneous">False</property>
811 <property name="spacing">0</property>
812
813 <child>
814 <widget class="GtkHBox" id="hbox6">
815 <property name="visible">True</property>
816 <property name="homogeneous">False</property>
817 <property name="spacing">0</property>
818
819 <child>
820 <widget class="GtkLabel" id="label11">
821 <property name="visible">True</property>
822 <property name="label" translatable="yes">&lt;b&gt;Current solver:&lt;/b&gt; </property>
823 <property name="use_underline">False</property>
824 <property name="use_markup">True</property>
825 <property name="justify">GTK_JUSTIFY_LEFT</property>
826 <property name="wrap">False</property>
827 <property name="selectable">False</property>
828 <property name="xalign">0.5</property>
829 <property name="yalign">0.5</property>
830 <property name="xpad">0</property>
831 <property name="ypad">0</property>
832 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
833 <property name="width_chars">-1</property>
834 <property name="single_line_mode">False</property>
835 <property name="angle">0</property>
836 </widget>
837 <packing>
838 <property name="padding">0</property>
839 <property name="expand">False</property>
840 <property name="fill">False</property>
841 </packing>
842 </child>
843
844 <child>
845 <widget class="GtkLabel" id="solvername">
846 <property name="visible">True</property>
847 <property name="label" translatable="yes">solvername </property>
848 <property name="use_underline">False</property>
849 <property name="use_markup">False</property>
850 <property name="justify">GTK_JUSTIFY_LEFT</property>
851 <property name="wrap">False</property>
852 <property name="selectable">False</property>
853 <property name="xalign">0.5</property>
854 <property name="yalign">0.5</property>
855 <property name="xpad">0</property>
856 <property name="ypad">0</property>
857 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
858 <property name="width_chars">-1</property>
859 <property name="single_line_mode">False</property>
860 <property name="angle">0</property>
861 </widget>
862 <packing>
863 <property name="padding">0</property>
864 <property name="expand">False</property>
865 <property name="fill">False</property>
866 </packing>
867 </child>
868 </widget>
869 <packing>
870 <property name="padding">14</property>
871 <property name="expand">False</property>
872 <property name="fill">True</property>
873 </packing>
874 </child>
875
876 <child>
877 <widget class="GtkScrolledWindow" id="scrolledwindow14">
878 <property name="visible">True</property>
879 <property name="can_focus">True</property>
880 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
881 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
882 <property name="shadow_type">GTK_SHADOW_IN</property>
883 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
884
885 <child>
886 <widget class="GtkViewport" id="viewport3">
887 <property name="visible">True</property>
888 <property name="shadow_type">GTK_SHADOW_IN</property>
889
890 <child>
891 <widget class="GtkTreeView" id="paramsview">
892 <property name="visible">True</property>
893 <property name="can_focus">True</property>
894 <property name="headers_visible">True</property>
895 <property name="rules_hint">False</property>
896 <property name="reorderable">False</property>
897 <property name="enable_search">True</property>
898 <property name="fixed_height_mode">False</property>
899 <property name="hover_selection">False</property>
900 <property name="hover_expand">False</property>
901 <signal name="row_activated" handler="on_paramsview_row_activated" last_modification_time="Fri, 27 Jan 2006 05:56:55 GMT"/>
902 <signal name="select_cursor_row" handler="on_paramsview_select_cursor_row" last_modification_time="Fri, 27 Jan 2006 07:21:36 GMT"/>
903 <signal name="button_press_event" handler="on_paramsview_button_press_event" last_modification_time="Sat, 28 Jan 2006 01:46:18 GMT"/>
904 <signal name="cursor_changed" handler="on_paramsview_cursor_changed" last_modification_time="Sat, 28 Jan 2006 03:40:50 GMT"/>
905 </widget>
906 </child>
907 </widget>
908 </child>
909 </widget>
910 <packing>
911 <property name="padding">0</property>
912 <property name="expand">True</property>
913 <property name="fill">True</property>
914 </packing>
915 </child>
916
917 <child>
918 <widget class="GtkHBox" id="hbox4">
919 <property name="visible">True</property>
920 <property name="homogeneous">False</property>
921 <property name="spacing">8</property>
922 </widget>
923 <packing>
924 <property name="padding">0</property>
925 <property name="expand">False</property>
926 <property name="fill">True</property>
927 </packing>
928 </child>
929
930 <child>
931 <widget class="GtkFrame" id="frame2">
932 <property name="visible">True</property>
933 <property name="label_xalign">0</property>
934 <property name="label_yalign">0.5</property>
935 <property name="shadow_type">GTK_SHADOW_NONE</property>
936
937 <child>
938 <widget class="GtkAlignment" id="alignment2">
939 <property name="visible">True</property>
940 <property name="xalign">0.5</property>
941 <property name="yalign">0.5</property>
942 <property name="xscale">1</property>
943 <property name="yscale">1</property>
944 <property name="top_padding">0</property>
945 <property name="bottom_padding">0</property>
946 <property name="left_padding">12</property>
947 <property name="right_padding">0</property>
948
949 <child>
950 <widget class="GtkLabel" id="paramdescription">
951 <property name="visible">True</property>
952 <property name="label" translatable="yes">To edit a paramer, select the row you want then click the 'value' column.</property>
953 <property name="use_underline">False</property>
954 <property name="use_markup">False</property>
955 <property name="justify">GTK_JUSTIFY_LEFT</property>
956 <property name="wrap">False</property>
957 <property name="selectable">False</property>
958 <property name="xalign">0</property>
959 <property name="yalign">0.5</property>
960 <property name="xpad">10</property>
961 <property name="ypad">10</property>
962 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
963 <property name="width_chars">-1</property>
964 <property name="single_line_mode">False</property>
965 <property name="angle">0</property>
966 </widget>
967 </child>
968 </widget>
969 </child>
970
971 <child>
972 <widget class="GtkLabel" id="label13">
973 <property name="visible">True</property>
974 <property name="label" translatable="yes">Parameter info</property>
975 <property name="use_underline">False</property>
976 <property name="use_markup">True</property>
977 <property name="justify">GTK_JUSTIFY_LEFT</property>
978 <property name="wrap">False</property>
979 <property name="selectable">False</property>
980 <property name="xalign">0.5</property>
981 <property name="yalign">0.5</property>
982 <property name="xpad">0</property>
983 <property name="ypad">0</property>
984 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
985 <property name="width_chars">-1</property>
986 <property name="single_line_mode">False</property>
987 <property name="angle">0</property>
988 </widget>
989 <packing>
990 <property name="type">label_item</property>
991 </packing>
992 </child>
993 </widget>
994 <packing>
995 <property name="padding">8</property>
996 <property name="expand">False</property>
997 <property name="fill">False</property>
998 </packing>
999 </child>
1000
1001 <child>
1002 <widget class="GtkHBox" id="hbox5">
1003 <property name="visible">True</property>
1004 <property name="homogeneous">True</property>
1005 <property name="spacing">8</property>
1006
1007 <child>
1008 <widget class="GtkButton" id="paramsapply">
1009 <property name="visible">True</property>
1010 <property name="can_focus">True</property>
1011 <property name="label">gtk-apply</property>
1012 <property name="use_stock">True</property>
1013 <property name="relief">GTK_RELIEF_NORMAL</property>
1014 <property name="focus_on_click">True</property>
1015 <signal name="clicked" handler="on_paramsapply_clicked" last_modification_time="Sat, 28 Jan 2006 04:38:49 GMT"/>
1016 </widget>
1017 <packing>
1018 <property name="padding">0</property>
1019 <property name="expand">False</property>
1020 <property name="fill">False</property>
1021 <property name="pack_type">GTK_PACK_END</property>
1022 </packing>
1023 </child>
1024
1025 <child>
1026 <widget class="GtkButton" id="paramscancel">
1027 <property name="visible">True</property>
1028 <property name="can_focus">True</property>
1029 <property name="label">gtk-cancel</property>
1030 <property name="use_stock">True</property>
1031 <property name="relief">GTK_RELIEF_NORMAL</property>
1032 <property name="focus_on_click">True</property>
1033 <signal name="clicked" handler="on_paramscancel_clicked" last_modification_time="Sat, 28 Jan 2006 04:38:40 GMT"/>
1034 </widget>
1035 <packing>
1036 <property name="padding">0</property>
1037 <property name="expand">False</property>
1038 <property name="fill">False</property>
1039 <property name="pack_type">GTK_PACK_END</property>
1040 </packing>
1041 </child>
1042 </widget>
1043 <packing>
1044 <property name="padding">0</property>
1045 <property name="expand">False</property>
1046 <property name="fill">False</property>
1047 </packing>
1048 </child>
1049 </widget>
1050 </child>
1051 </widget>
1052
1053 <widget class="GtkDialog" id="boundsdialog">
1054 <property name="visible">True</property>
1055 <property name="title" translatable="yes">Out of bounds</property>
1056 <property name="type">GTK_WINDOW_TOPLEVEL</property>
1057 <property name="window_position">GTK_WIN_POS_NONE</property>
1058 <property name="modal">False</property>
1059 <property name="resizable">True</property>
1060 <property name="destroy_with_parent">False</property>
1061 <property name="decorated">True</property>
1062 <property name="skip_taskbar_hint">False</property>
1063 <property name="skip_pager_hint">False</property>
1064 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1065 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1066 <property name="focus_on_map">True</property>
1067 <property name="has_separator">True</property>
1068
1069 <child internal-child="vbox">
1070 <widget class="GtkVBox" id="dialog-vbox1">
1071 <property name="visible">True</property>
1072 <property name="homogeneous">False</property>
1073 <property name="spacing">0</property>
1074
1075 <child internal-child="action_area">
1076 <widget class="GtkHButtonBox" id="dialog-action_area1">
1077 <property name="visible">True</property>
1078 <property name="layout_style">GTK_BUTTONBOX_END</property>
1079
1080 <child>
1081 <widget class="GtkButton" id="okbutton1">
1082 <property name="visible">True</property>
1083 <property name="can_default">True</property>
1084 <property name="can_focus">True</property>
1085 <property name="label">gtk-ok</property>
1086 <property name="use_stock">True</property>
1087 <property name="relief">GTK_RELIEF_NORMAL</property>
1088 <property name="focus_on_click">True</property>
1089 <property name="response_id">-5</property>
1090 </widget>
1091 </child>
1092 </widget>
1093 <packing>
1094 <property name="padding">0</property>
1095 <property name="expand">False</property>
1096 <property name="fill">True</property>
1097 <property name="pack_type">GTK_PACK_END</property>
1098 </packing>
1099 </child>
1100
1101 <child>
1102 <widget class="GtkLabel" id="msg">
1103 <property name="visible">True</property>
1104 <property name="label" translatable="yes">Please enter a value that lies within the
1105 upper and lower bounds displayed.</property>
1106 <property name="use_underline">False</property>
1107 <property name="use_markup">True</property>
1108 <property name="justify">GTK_JUSTIFY_LEFT</property>
1109 <property name="wrap">False</property>
1110 <property name="selectable">False</property>
1111 <property name="xalign">0</property>
1112 <property name="yalign">0.5</property>
1113 <property name="xpad">8</property>
1114 <property name="ypad">8</property>
1115 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1116 <property name="width_chars">-1</property>
1117 <property name="single_line_mode">False</property>
1118 <property name="angle">0</property>
1119 </widget>
1120 <packing>
1121 <property name="padding">0</property>
1122 <property name="expand">False</property>
1123 <property name="fill">False</property>
1124 </packing>
1125 </child>
1126 </widget>
1127 </child>
1128 </widget>
1129
1130 <widget class="GtkDialog" id="dialog1">
1131 <property name="visible">True</property>
1132 <property name="title" translatable="yes">dialog1</property>
1133 <property name="type">GTK_WINDOW_TOPLEVEL</property>
1134 <property name="window_position">GTK_WIN_POS_NONE</property>
1135 <property name="modal">False</property>
1136 <property name="resizable">True</property>
1137 <property name="destroy_with_parent">False</property>
1138 <property name="decorated">True</property>
1139 <property name="skip_taskbar_hint">False</property>
1140 <property name="skip_pager_hint">False</property>
1141 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1142 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1143 <property name="focus_on_map">True</property>
1144 <property name="has_separator">True</property>
1145
1146 <child internal-child="vbox">
1147 <widget class="GtkVBox" id="dialog-vbox2">
1148 <property name="visible">True</property>
1149 <property name="homogeneous">False</property>
1150 <property name="spacing">0</property>
1151
1152 <child internal-child="action_area">
1153 <widget class="GtkHButtonBox" id="dialog-action_area2">
1154 <property name="visible">True</property>
1155 <property name="layout_style">GTK_BUTTONBOX_END</property>
1156
1157 <child>
1158 <widget class="GtkButton" id="closebutton1">
1159 <property name="visible">True</property>
1160 <property name="can_default">True</property>
1161 <property name="can_focus">True</property>
1162 <property name="label">gtk-close</property>
1163 <property name="use_stock">True</property>
1164 <property name="relief">GTK_RELIEF_NORMAL</property>
1165 <property name="focus_on_click">True</property>
1166 <property name="response_id">-7</property>
1167 </widget>
1168 </child>
1169 </widget>
1170 <packing>
1171 <property name="padding">0</property>
1172 <property name="expand">False</property>
1173 <property name="fill">True</property>
1174 <property name="pack_type">GTK_PACK_END</property>
1175 </packing>
1176 </child>
1177
1178 <child>
1179 <placeholder/>
1180 </child>
1181 </widget>
1182 </child>
1183 </widget>
1184
1185 <widget class="GtkDialog" id="aboutdialog">
1186 <property name="visible">True</property>
1187 <property name="title" translatable="yes">About</property>
1188 <property name="type">GTK_WINDOW_TOPLEVEL</property>
1189 <property name="window_position">GTK_WIN_POS_NONE</property>
1190 <property name="modal">False</property>
1191 <property name="resizable">True</property>
1192 <property name="destroy_with_parent">False</property>
1193 <property name="decorated">True</property>
1194 <property name="skip_taskbar_hint">False</property>
1195 <property name="skip_pager_hint">False</property>
1196 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1197 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1198 <property name="focus_on_map">True</property>
1199 <property name="has_separator">True</property>
1200
1201 <child internal-child="vbox">
1202 <widget class="GtkVBox" id="dialog-vbox3">
1203 <property name="visible">True</property>
1204 <property name="homogeneous">False</property>
1205 <property name="spacing">0</property>
1206
1207 <child internal-child="action_area">
1208 <widget class="GtkHButtonBox" id="dialog-action_area3">
1209 <property name="visible">True</property>
1210 <property name="layout_style">GTK_BUTTONBOX_END</property>
1211
1212 <child>
1213 <widget class="GtkButton" id="closebutton2">
1214 <property name="visible">True</property>
1215 <property name="can_default">True</property>
1216 <property name="can_focus">True</property>
1217 <property name="label">gtk-close</property>
1218 <property name="use_stock">True</property>
1219 <property name="relief">GTK_RELIEF_NORMAL</property>
1220 <property name="focus_on_click">True</property>
1221 <property name="response_id">-7</property>
1222 </widget>
1223 </child>
1224 </widget>
1225 <packing>
1226 <property name="padding">0</property>
1227 <property name="expand">False</property>
1228 <property name="fill">True</property>
1229 <property name="pack_type">GTK_PACK_END</property>
1230 </packing>
1231 </child>
1232
1233 <child>
1234 <widget class="GtkLabel" id="label14">
1235 <property name="visible">True</property>
1236 <property name="label" translatable="yes">&lt;b&gt;ASCEND&lt;/b&gt;
1237
1238 Ascend is a large-scale object-oriented
1239 mathematical modelling environment with
1240 a strongly-typed modelling language.
1241
1242 Version @ABOUT_VERSION@
1243
1244 Developers @ABOUT_DEVELOPERS@</property>
1245 <property name="use_underline">False</property>
1246 <property name="use_markup">True</property>
1247 <property name="justify">GTK_JUSTIFY_LEFT</property>
1248 <property name="wrap">False</property>
1249 <property name="selectable">False</property>
1250 <property name="xalign">0</property>
1251 <property name="yalign">0</property>
1252 <property name="xpad">8</property>
1253 <property name="ypad">8</property>
1254 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1255 <property name="width_chars">-1</property>
1256 <property name="single_line_mode">False</property>
1257 <property name="angle">0</property>
1258 </widget>
1259 <packing>
1260 <property name="padding">0</property>
1261 <property name="expand">False</property>
1262 <property name="fill">False</property>
1263 </packing>
1264 </child>
1265 </widget>
1266 </child>
1267 </widget>
1268
1269 <widget class="GtkMenu" id="menu8">
1270
1271 <child>
1272 <widget class="GtkImageMenuItem" id="copy2">
1273 <property name="visible">True</property>
1274 <property name="label" translatable="yes">Copy</property>
1275 <property name="use_underline">True</property>
1276 <signal name="activate" handler="on_copy2_activate" last_modification_time="Sun, 13 Nov 2005 07:45:55 GMT"/>
1277
1278 <child internal-child="image">
1279 <widget class="GtkImage" id="image6">
1280 <property name="visible">True</property>
1281 <property name="stock">gtk-copy</property>
1282 <property name="icon_size">1</property>
1283 <property name="xalign">0.5</property>
1284 <property name="yalign">0.5</property>
1285 <property name="xpad">0</property>
1286 <property name="ypad">0</property>
1287 </widget>
1288 </child>
1289 </widget>
1290 </child>
1291
1292 <child>
1293 <widget class="GtkImageMenuItem" id="clear_all1">
1294 <property name="visible">True</property>
1295 <property name="label" translatable="yes">Clear all</property>
1296 <property name="use_underline">True</property>
1297 <signal name="activate" handler="on_clear_all1_activate" last_modification_time="Sun, 13 Nov 2005 07:45:55 GMT"/>
1298
1299 <child internal-child="image">
1300 <widget class="GtkImage" id="image7">
1301 <property name="visible">True</property>
1302 <property name="stock">gtk-clear</property>
1303 <property name="icon_size">1</property>
1304 <property name="xalign">0.5</property>
1305 <property name="yalign">0.5</property>
1306 <property name="xpad">0</property>
1307 <property name="ypad">0</property>
1308 </widget>
1309 </child>
1310 </widget>
1311 </child>
1312 </widget>
1313
1314 </glade-interface>

john.pye@anu.edu.au
ViewVC Help
Powered by ViewVC 1.1.22