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 False 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 PANGO_ELLIPSIZE_NONE -1 False 0 tab True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_IN GTK_CORNER_TOP_LEFT True True False False False True False False False False True True WhelpResults False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 tab True 0.5 0.5 0 0 False True True WhelpEasterEgg False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 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 False 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 PANGO_ELLIPSIZE_NONE -1 False 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 False 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 PANGO_ELLIPSIZE_NONE -1 False 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 False True True True True GTK_RELIEF_NORMAL True True True True GTK_RELIEF_NORMAL True 450 400 title GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE True True False True False False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True False 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 PANGO_ELLIPSIZE_NONE -1 False 0 0 False False True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_IN GTK_CORNER_TOP_LEFT True True False False False True False False False 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 False True True False True False 0 True GTK_SHADOW_OUT GTK_POS_LEFT GTK_POS_TOP True GTK_PACK_DIRECTION_LTR GTK_PACK_DIRECTION_LTR 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 False _Undo True True gtk-undo 1 0.5 0.5 0 0 True False _Redo True True gtk-redo 1 0.5 0.5 0 0 True True Cu_t True True gtk-cut 1 0.5 0.5 0 0 True _Copy True True gtk-copy 1 0.5 0.5 0 0 True _Paste True True gtk-paste 1 0.5 0.5 0 0 True Paste as pattern True True _Delete True True gtk-delete 1 0.5 0.5 0 0 True True Select _All True True True _Find & Replace ... True True gtk-find-and-replace 1 0.5 0.5 0 0 True True Next ligature True True Edit with E_xternal Editor True True _Script True True Execute 1 phrase True True Retract 1 phrase True True True Execute all True True Restart True True True Execute until cursor True True _View True True Show _Tactics Bar True True True New Cic _Browser True True True _Fullscreen True False True True Zoom _In True True gtk-zoom-in 1 0.5 0.5 0 0 True Zoom _Out True True gtk-zoom-out 1 0.5 0.5 0 0 True _Normal Size True True gtk-zoom-100 1 0.5 0.5 0 0 True _Debug True True True _Help True True _Contents True True gtk-help 1 0.5 0.5 0 0 True _About True True gtk-about 1 0.5 0.5 0 0 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 True GTK_RELIEF_NONE True True gtk-goto-top 4 0.5 0.5 0 0 False False True True True False True Retract 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 Execute 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 False True True script False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 tab True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_NONE GTK_CORNER_TOP_LEFT True GTK_SHADOW_IN True Not implemented. False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 False True True outline False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 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 PANGO_ELLIPSIZE_NONE -1 False 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 PANGO_ELLIPSIZE_NONE -1 False 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 PANGO_ELLIPSIZE_NONE -1 False 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 False 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 PANGO_ELLIPSIZE_NONE -1 False 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 False 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 PANGO_ELLIPSIZE_NONE -1 False 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 PANGO_ELLIPSIZE_NONE -1 False 0 0 False False True True True gtk-go-forward True GTK_RELIEF_NORMAL True 0 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 PANGO_ELLIPSIZE_NONE -1 False 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 False False False 0 True True True False 0 True URI: False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 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 False True 3 2 False 5 0 True Find: False False GTK_JUSTIFY_LEFT False False 0 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 1 0 1 fill True Replace with: False False GTK_JUSTIFY_LEFT False False 0 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 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 PANGO_ELLIPSIZE_NONE -1 False 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 True False 0 3 True 2 3 False 5 5 True Name False False GTK_JUSTIFY_LEFT False False 0 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 1 0 1 fill True Root directory False False GTK_JUSTIFY_LEFT False False 0 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 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 True False 0 True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_IN GTK_CORNER_TOP_LEFT True True False False False True False False False 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 PANGO_ELLIPSIZE_NONE -1 False 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 PANGO_ELLIPSIZE_NONE -1 False 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-convert 4 0.5 0.5 0 0 0 False False True Publish True False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 False False 0 False False True True gtk-close True GTK_RELIEF_NORMAL True 0 False False 0 False True