Matita: about
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_CENTER
True
False
False
True
False
False
GDK_WINDOW_TYPE_HINT_DIALOG
GDK_GRAVITY_NORTH_WEST
True
True
False
0
True
GTK_BUTTONBOX_END
True
True
True
gtk-ok
True
GTK_RELIEF_NORMAL
True
-5
0
False
True
GTK_PACK_END
True
<b>Matita @VERSION@</b>
<tt>http://helm.cs.unibo.it</tt>
Copyright (C) 2005,
<i>the HELM team</i>
False
True
GTK_JUSTIFY_CENTER
False
False
0.5
0.5
5
5
0
False
False
True
Cic browser
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_CENTER_ON_PARENT
False
500
500
True
False
True
False
False
GDK_WINDOW_TYPE_HINT_NORMAL
GDK_GRAVITY_NORTH_WEST
True
True
False
True
False
0
True
0
0.5
GTK_SHADOW_OUT
True
0.5
0.5
1
1
0
0
0
0
True
False
0
True
new browser win
True
True
GTK_RELIEF_NONE
False
True
gtk-new
4
0.5
0.5
0
0
0
False
False
True
history back
True
True
GTK_RELIEF_NONE
True
True
0.5
0.5
0
0
0
0
0
0
True
False
2
True
gtk-go-back
4
0.5
0.5
0
0
0
False
False
True
True
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
0
False
False
0
False
False
True
history forward
True
True
GTK_RELIEF_NONE
True
True
gtk-go-forward
4
0.5
0.5
0
0
0
False
False
True
refresh
True
True
GTK_RELIEF_NONE
True
True
gtk-refresh
4
0.5
0.5
0
0
0
False
False
True
home
True
True
GTK_RELIEF_NONE
True
True
gtk-home
4
0.5
0.5
0
0
0
False
False
True
gtk-jump-to
4
0.5
0.5
0
0
3
False
False
True
cic uri
True
True
True
True
True
0
True
*
False
3
True
True
20
True
False
0
0
False
True
True
0.5
0.5
0
0
0
False
False
True
True
GTK_RELIEF_NONE
True
False
False
True
False
0
True
GTK_ARROW_DOWN
GTK_SHADOW_NONE
0.5
0.5
0
0
0
True
True
0
False
False
0
False
True
3
True
False
6
True
True
True
True
0
True
*
False
0
True
True
True
False
0
True
0.5
0.5
1
1
0
0
0
0
0
False
False
0
False
True
0
False
True
True
0
0
GTK_SHADOW_NONE
True
True
True
True
GTK_POS_TOP
False
False
True
True
GTK_POLICY_AUTOMATIC
GTK_POLICY_AUTOMATIC
GTK_SHADOW_NONE
GTK_CORNER_TOP_LEFT
False
True
True
MathView
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
tab
True
True
GTK_POLICY_AUTOMATIC
GTK_POLICY_AUTOMATIC
GTK_SHADOW_IN
GTK_CORNER_TOP_LEFT
True
True
False
False
False
True
False
True
True
WhelpResults
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
tab
0
True
True
DUMMY
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_CENTER
True
False
False
True
False
False
GDK_WINDOW_TYPE_HINT_DIALOG
GDK_GRAVITY_NORTH_WEST
True
True
False
0
True
GTK_BUTTONBOX_END
True
True
True
gtk-cancel
True
GTK_RELIEF_NORMAL
True
-6
True
True
True
gtk-ok
True
GTK_RELIEF_NORMAL
True
-5
0
False
True
GTK_PACK_END
True
DUMMY
False
False
GTK_JUSTIFY_CENTER
False
False
0.5
0.5
0
0
0
False
False
True
DUMMY
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
False
True
False
True
False
False
GDK_WINDOW_TYPE_HINT_DIALOG
GDK_GRAVITY_NORTH_WEST
True
True
False
0
True
GTK_BUTTONBOX_END
True
True
True
gtk-cancel
True
GTK_RELIEF_NORMAL
True
-6
True
True
True
gtk-ok
True
GTK_RELIEF_NORMAL
True
-5
0
False
True
GTK_PACK_END
True
DUMMY
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
0
False
False
10
Select File
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_CENTER
True
True
False
True
False
False
GDK_WINDOW_TYPE_HINT_DIALOG
GDK_GRAVITY_NORTH_WEST
True
True
True
True
GTK_RELIEF_NORMAL
True
True
True
True
GTK_RELIEF_NORMAL
True
200
Interpretation choice
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
True
True
False
True
False
False
GDK_WINDOW_TYPE_HINT_DIALOG
GDK_GRAVITY_NORTH_WEST
True
True
False
0
True
GTK_BUTTONBOX_END
True
True
True
gtk-help
True
GTK_RELIEF_NORMAL
True
-11
True
True
True
gtk-cancel
True
GTK_RELIEF_NORMAL
True
-6
True
True
True
gtk-ok
True
GTK_RELIEF_NORMAL
True
-5
0
False
True
GTK_PACK_END
True
False
0
True
some informative message here ...
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
0
False
False
True
True
GTK_POLICY_ALWAYS
GTK_POLICY_ALWAYS
GTK_SHADOW_IN
GTK_CORNER_TOP_LEFT
True
True
False
False
False
True
0
True
True
0
True
True
Matita
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
False
800
600
True
False
True
False
False
GDK_WINDOW_TYPE_HINT_NORMAL
GDK_GRAVITY_NORTH_WEST
True
True
False
True
False
0
True
GTK_SHADOW_OUT
GTK_POS_LEFT
GTK_POS_TOP
0
False
False
True
False
0
2
True
GTK_SHADOW_OUT
GTK_POS_TOP
GTK_POS_LEFT
True
17
2
False
4
0
50
True
Apply
True
apply
True
GTK_RELIEF_NORMAL
True
1
2
0
1
fill
55
True
Intros
True
intros
True
GTK_RELIEF_NORMAL
True
0
1
0
1
fill
55
True
Exact
True
exact
True
GTK_RELIEF_NORMAL
True
0
1
2
3
fill
55
True
Elim
True
elim
True
GTK_RELIEF_HALF
True
0
1
4
5
fill
55
True
Reflexivity
True
refl
True
GTK_RELIEF_NORMAL
True
0
1
8
9
fill
50
True
Symmetry
True
sym
True
GTK_RELIEF_NORMAL
True
1
2
8
9
fill
55
True
Transitivity
True
trans
True
GTK_RELIEF_NORMAL
True
0
1
9
10
fill
55
True
Simplify
True
simpl
True
GTK_RELIEF_NORMAL
True
0
1
11
12
fill
50
True
Reduce
True
red
True
GTK_RELIEF_NORMAL
True
1
2
11
12
fill
55
True
Whd
True
whd
True
GTK_RELIEF_NORMAL
True
0
1
12
13
fill
55
True
Assumption
True
assum
True
GTK_RELIEF_NORMAL
True
0
1
14
15
fill
50
True
Auto
True
auto
True
GTK_RELIEF_NORMAL
True
1
2
14
15
fill
55
True
Cut
True
cut
True
GTK_RELIEF_NORMAL
True
0
1
16
17
fill
50
True
Replace
True
repl
True
GTK_RELIEF_NORMAL
True
1
2
16
17
fill
55
True
ElimType
True
elimTy
True
GTK_RELIEF_NORMAL
True
1
2
4
5
fill
True
False
0
25
True
Right
True
R
True
GTK_RELIEF_NORMAL
True
0
True
True
25
True
Exists
True
∃
True
GTK_RELIEF_NORMAL
True
0
True
True
1
2
6
7
fill
fill
True
False
0
25
True
Split
True
∧
True
GTK_RELIEF_NORMAL
True
0
True
True
25
True
Left
True
L
True
GTK_RELIEF_NORMAL
True
0
True
True
0
1
6
7
fill
fill
True
0.5
0.5
1
1
0
0
0
0
0
1
1
2
fill
True
0.5
0.5
1
1
0
0
0
0
0
1
3
4
fill
True
0.5
0.5
1
1
0
0
0
0
0
1
5
6
fill
True
0.5
0.5
1
1
0
0
0
0
0
1
7
8
fill
True
0.5
0.5
1
1
0
0
0
0
0
1
10
11
fill
True
0.5
0.5
1
1
0
0
0
0
0
1
13
14
fill
True
0.5
0.5
1
1
0
0
0
0
0
1
15
16
fill
0
False
True
True
True
400
True
False
0
True
GTK_ORIENTATION_HORIZONTAL
GTK_TOOLBAR_BOTH
True
True
True
True
True
False
True
restart
True
GTK_RELIEF_NONE
True
True
gtk-goto-top
4
0.5
0.5
0
0
False
False
True
True
True
False
True
go back 1 phrase
True
GTK_RELIEF_NONE
True
True
gtk-go-up
4
0.5
0.5
0
0
False
False
True
True
True
False
True
execute until point
True
GTK_RELIEF_NONE
True
True
gtk-jump-to
4
0.5
0.5
0
0
False
False
True
True
True
False
True
go forward 1 phrase
True
GTK_RELIEF_NONE
True
True
gtk-go-down
4
0.5
0.5
0
0
False
False
True
True
True
False
True
execute all
True
GTK_RELIEF_NONE
True
True
gtk-goto-bottom
4
0.5
0.5
0
0
False
False
0
False
False
True
True
True
True
GTK_POS_BOTTOM
False
False
True
True
GTK_POLICY_AUTOMATIC
GTK_POLICY_AUTOMATIC
GTK_SHADOW_NONE
GTK_CORNER_TOP_LEFT
True
True
True
False
True
GTK_JUSTIFY_LEFT
GTK_WRAP_NONE
True
0
0
0
0
0
0
False
True
True
script
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
tab
True
True
GTK_POLICY_AUTOMATIC
GTK_POLICY_AUTOMATIC
GTK_SHADOW_NONE
GTK_CORNER_TOP_LEFT
True
True
False
False
False
True
False
True
True
outline
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
tab
0
True
True
True
False
450
500
True
True
450
True
True
True
True
GTK_POS_TOP
False
False
True
False
True
False
0
True
True
GTK_POLICY_NEVER
GTK_POLICY_ALWAYS
GTK_SHADOW_IN
GTK_CORNER_TOP_LEFT
True
True
False
False
True
GTK_JUSTIFY_LEFT
GTK_WRAP_CHAR
False
0
0
0
0
0
0
0
True
True
True
True
False
True
0
True
True
0
True
True
True
False
0
True
False
0
True
True
True
False
True
GTK_POS_TOP
False
False
True
0.5
0.5
0
0
False
True
True
label14
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
tab
True
0.5
0.5
0
0
False
True
True
label15
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
tab
True
0.5
0.5
0
0
False
True
True
label16
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
tab
0
False
True
0
False
False
DUMMY
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
False
True
False
True
False
False
GDK_WINDOW_TYPE_HINT_DIALOG
GDK_GRAVITY_NORTH_WEST
True
True
False
0
True
GTK_BUTTONBOX_END
True
True
True
gtk-cancel
True
GTK_RELIEF_NORMAL
True
-6
True
True
True
gtk-ok
True
GTK_RELIEF_NORMAL
True
-5
0
False
True
GTK_PACK_END
True
DUMMY
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
0
False
False
True
True
GTK_POLICY_AUTOMATIC
GTK_POLICY_AUTOMATIC
GTK_SHADOW_IN
GTK_CORNER_TOP_LEFT
True
True
True
False
True
GTK_JUSTIFY_LEFT
GTK_WRAP_NONE
True
0
0
0
0
0
0
0
True
True
280
Uri choice
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_CENTER
True
True
False
True
False
False
GDK_WINDOW_TYPE_HINT_DIALOG
GDK_GRAVITY_NORTH_WEST
True
True
False
4
True
GTK_BUTTONBOX_END
True
True
True
gtk-cancel
True
GTK_RELIEF_NORMAL
True
-6
True
True
True
GTK_RELIEF_NORMAL
True
0
True
0.5
0.5
0
0
0
0
0
0
True
False
2
True
gtk-index
4
0.5
0.5
0
0
0
False
False
True
Try _Selected
True
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
0
False
False
True
False
True
True
Try Constants
True
GTK_RELIEF_NORMAL
True
0
True
True
gtk-copy
True
GTK_RELIEF_NORMAL
True
0
True
True
True
GTK_RELIEF_NORMAL
True
0
True
0.5
0.5
0
0
0
0
0
0
True
False
2
True
gtk-ok
4
0.5
0.5
0
0
0
False
False
True
bla bla bla
True
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
0
False
False
0
False
True
GTK_PACK_END
True
False
3
True
some informative message here ...
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
0
False
False
400
True
True
GTK_POLICY_AUTOMATIC
GTK_POLICY_AUTOMATIC
GTK_SHADOW_NONE
GTK_CORNER_TOP_LEFT
True
True
False
False
False
True
0
True
True
True
False
0
True
URI:
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
0
False
False
True
True
True
True
0
True
*
False
0
True
True
0
False
True
0
True
True