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 GTK_SHADOW_NONE 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 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 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 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 True _File True True _New True True gtk-new 1 0.5 0.5 0 0 True _Open... True True gtk-open 1 0.5 0.5 0 0 True _Save True True gtk-save 1 0.5 0.5 0 0 True Save _As ... True True gtk-save-as 1 0.5 0.5 0 0 True True _Quit True True gtk-quit 1 0.5 0.5 0 0 True _Edit True True _View True True New Cic Browser True True Debug True True True _Help True True About... True 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 intro 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 (Home) 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 (Page Up) 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 (Page Down) 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 (End) 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 250 500 True True 380 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