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
500
500
True
Cic browser
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
False
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
True
GTK_ORIENTATION_HORIZONTAL
GTK_TOOLBAR_BOTH
True
True
True
True
True
False
True
new browser win
True
True
GTK_RELIEF_NONE
True
True
gtk-new
4
0.5
0.5
0
0
False
False
True
True
True
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
False
False
True
True
True
False
True
history forward
True
True
GTK_RELIEF_NONE
True
True
gtk-go-forward
4
0.5
0.5
0
0
False
False
True
True
True
False
True
refresh
True
True
GTK_RELIEF_NONE
True
True
gtk-refresh
4
0.5
0.5
0
0
False
False
True
True
True
False
True
home
True
True
GTK_RELIEF_NONE
True
True
gtk-home
4
0.5
0.5
0
0
False
False
True
True
True
False
True
gtk-jump-to
4
0.5
0.5
0
0
False
False
True
True
True
False
True
cic uri
True
True
True
0
True
*
False
34
False
False
0
False
True
True
0
0
GTK_SHADOW_IN
True
True
GTK_POLICY_AUTOMATIC
GTK_POLICY_AUTOMATIC
GTK_SHADOW_NONE
GTK_CORNER_TOP_LEFT
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
True
GTK_SHADOW_OUT
GTK_POS_TOP
GTK_POS_TOP
109
True
True
0
True
False
0
True
GTK_ORIENTATION_HORIZONTAL
GTK_TOOLBAR_BOTH
True
True
True
True
True
False
55
True
Intros
True
intros
True
GTK_RELIEF_NORMAL
True
False
False
True
True
True
False
50
True
Apply
True
apply
True
GTK_RELIEF_NORMAL
True
False
False
0
False
False
True
GTK_ORIENTATION_HORIZONTAL
GTK_TOOLBAR_BOTH
True
True
True
True
True
False
55
True
Exact
True
exact
True
GTK_RELIEF_NORMAL
True
False
False
0
False
False
0
False
False
True
GTK_ORIENTATION_HORIZONTAL
GTK_TOOLBAR_BOTH
True
True
True
True
True
False
55
True
Elim
True
elim
True
GTK_RELIEF_NORMAL
True
False
False
True
True
True
False
55
True
ElimType
True
elimTy
True
GTK_RELIEF_NORMAL
True
False
False
0
False
False
True
GTK_ORIENTATION_HORIZONTAL
GTK_TOOLBAR_BOTH
True
True
True
True
True
False
25
True
Split
True
∧
True
GTK_RELIEF_NORMAL
True
False
False
True
True
True
False
25
True
Left
True
L
True
GTK_RELIEF_NORMAL
True
False
False
True
True
True
False
25
True
Right
True
R
True
GTK_RELIEF_NORMAL
True
False
False
True
True
True
False
25
True
Exists
True
∃
True
GTK_RELIEF_NORMAL
True
False
False
0
False
False
True
False
0
True
GTK_ORIENTATION_HORIZONTAL
GTK_TOOLBAR_BOTH
True
True
True
True
True
False
55
True
Reflexivity
True
refl
True
GTK_RELIEF_NORMAL
True
False
False
True
True
True
False
50
True
Symmetry
True
sym
True
GTK_RELIEF_NORMAL
True
False
False
0
False
False
True
GTK_ORIENTATION_HORIZONTAL
GTK_TOOLBAR_BOTH
True
True
True
True
True
False
55
True
Transitivity
True
trans
True
GTK_RELIEF_NORMAL
True
False
False
0
False
False
0
False
False
True
False
0
True
GTK_ORIENTATION_HORIZONTAL
GTK_TOOLBAR_BOTH
True
True
True
True
True
False
55
True
Simplify
True
simpl
True
GTK_RELIEF_NORMAL
True
False
False
True
True
True
False
50
True
Reduce
True
red
True
GTK_RELIEF_NORMAL
True
False
False
0
False
False
True
GTK_ORIENTATION_HORIZONTAL
GTK_TOOLBAR_BOTH
True
True
True
True
True
False
55
True
Whd
True
whd
True
GTK_RELIEF_NORMAL
True
False
False
0
False
False
0
False
False
True
GTK_ORIENTATION_HORIZONTAL
GTK_TOOLBAR_BOTH
True
True
True
True
True
False
55
True
Assumption
True
assum
True
GTK_RELIEF_NORMAL
True
False
False
True
True
True
False
50
True
Auto
True
auto
True
GTK_RELIEF_NORMAL
True
False
False
0
False
False
True
GTK_ORIENTATION_HORIZONTAL
GTK_TOOLBAR_BOTH
True
True
True
True
True
False
55
True
Cut
True
cut
True
GTK_RELIEF_NORMAL
True
False
False
True
True
True
False
50
True
Replace
True
repl
True
GTK_RELIEF_NORMAL
True
False
False
0
False
False
0
True
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
True
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
0
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
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
_Auto
True
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
0
False
False
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_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