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 True GTK_RELIEF_NONE True True gtk-new 4 0.5 0.5 0 0 0 False False True True GTK_RELIEF_NONE True True gtk-go-back 4 0.5 0.5 0 0 0 False False 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 2 0.5 0.5 0 0 3 False False True False 0 0 True True 0 False True 3 True False 6 True 0.5 0.5 0 0 0 False True 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 _Developments... True True gtk-execute 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 Find & Replace True True gtk-find-and-replace 1 0.5 0.5 0 0 True _View True True Show/Hide the tactics buttons bar View Tactics Bar True True True New Cic Browser True True Fullscreen True False True True Increase Font Size True True Decrease Font Size True True Normal Font Size True True Debug True True True _Help True True About... True 0 False False True False 0 True True True False 0 True GTK_SHADOW_OUT GTK_POS_TOP GTK_POS_TOP True 17 2 False 4 0 True Apply True apply True GTK_RELIEF_NORMAL True 1 2 0 1 fill True Intros True intro True GTK_RELIEF_NORMAL True 0 1 0 1 fill True Exact True exact True GTK_RELIEF_NORMAL True 0 1 2 3 fill True Elim True elim True GTK_RELIEF_NORMAL True 0 1 4 5 fill True Reflexivity True refl True GTK_RELIEF_NORMAL True 0 1 8 9 fill True Symmetry True sym True GTK_RELIEF_NORMAL True 1 2 8 9 fill True Transitivity True trans True GTK_RELIEF_NORMAL True 0 1 9 10 fill True Simplify True simpl True GTK_RELIEF_NORMAL True 0 1 11 12 fill True Reduce True red True GTK_RELIEF_NORMAL True 1 2 11 12 fill True Whd True whd True GTK_RELIEF_NORMAL True 0 1 12 13 fill True Assumption True assum True GTK_RELIEF_NORMAL True 0 1 14 15 fill True Auto True auto True GTK_RELIEF_NORMAL True 1 2 14 15 fill True Cut True cut True GTK_RELIEF_NORMAL True 0 1 16 17 fill True Replace True repl True GTK_RELIEF_NORMAL True 1 2 16 17 fill True ElimType True elimTy True GTK_RELIEF_NORMAL True 1 2 4 5 fill True True 0 True Right True R True GTK_RELIEF_NORMAL True 0 True True True Exists True ∃ True GTK_RELIEF_NORMAL True 0 True True 1 2 6 7 fill fill True True 0 True Split True ∧ True GTK_RELIEF_NORMAL True 0 True True 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 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 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 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 True 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 5 Find & Replace GTK_WINDOW_TOPLEVEL GTK_WIN_POS_MOUSE False False False True False False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True 3 2 False 5 0 True Find: False False GTK_JUSTIFY_LEFT False False 0 0.5 0 0 0 1 0 1 fill True Replace with: False False GTK_JUSTIFY_LEFT False False 0 0.5 0 0 0 1 1 2 fill True True True True True True True 0 True * False 1 2 0 1 True True True True 0 True * False 1 2 1 2 True False 5 True False 0 0 True True True True gtk-find True GTK_RELIEF_NORMAL True 0 False False True True GTK_RELIEF_NORMAL True True 0.5 0.5 0 0 0 0 0 0 True False 2 True gtk-find-and-replace 4 0.5 0.5 0 0 0 False False True _Replace True False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 0 False False 0 False False True True gtk-cancel True GTK_RELIEF_NORMAL True 0 False False 0 2 2 3 5 Create development GTK_WINDOW_TOPLEVEL GTK_WIN_POS_CENTER_ALWAYS True False False True False False GDK_WINDOW_TYPE_HINT_UTILITY GDK_GRAVITY_NORTH_WEST True False 0 3 True 2 3 False 5 5 True Name False False GTK_JUSTIFY_LEFT False False 0 0.5 0 0 0 1 0 1 fill True Root directory False False GTK_JUSTIFY_LEFT False False 0 0.5 0 0 0 1 1 2 fill True True True True 0 True * False 1 2 0 1 True True True True 0 True * False 1 2 1 2 True True ... True GTK_RELIEF_NORMAL True 2 3 1 2 fill 0 False True True 2 False True 3 True False 5 True False 0 0 True True True True gtk-add True GTK_RELIEF_NORMAL True 0 False False True True gtk-cancel True GTK_RELIEF_NORMAL True 0 False False 0 False True Developments GTK_WINDOW_TOPLEVEL GTK_WIN_POS_CENTER False True False True False False GDK_WINDOW_TYPE_HINT_NORMAL GDK_GRAVITY_NORTH_WEST True False 0 True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_IN GTK_CORNER_TOP_LEFT True True False False False True 0 True True True 2 False True 3 True False 4 True False 0 0 True True True True gtk-new True GTK_RELIEF_NORMAL True 0 False False True True gtk-delete True GTK_RELIEF_NORMAL True 0 False False True True GTK_RELIEF_NORMAL True True 0.5 0.5 0 0 0 0 0 0 True False 2 True gtk-execute 4 0.5 0.5 0 0 0 False False True _Build True False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 0 False False 0 False False True True GTK_RELIEF_NORMAL True True 0.5 0.5 0 0 0 0 0 0 True False 2 True gtk-clear 4 0.5 0.5 0 0 0 False False True C_lean True False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 0 False False 0 False False True True gtk-close True GTK_RELIEF_NORMAL True 0 False False 0 False True