X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=2704d164d3b49f0ffe61d8bfa5a86886f84de5ef;hb=cba366ace3c62fd66f99addce68ae0e243622b68;hp=74a68bee4edcfa5a1f35f7e07332143338025e8c;hpb=6187b40af194fb960d91653682a0eb2096f20f3b;p=helm.git diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade index 74a68bee4..2704d164d 100644 --- a/helm/matita/matita.glade +++ b/helm/matita/matita.glade @@ -56,7 +56,7 @@ <tt>http://helm.cs.unibo.it</tt> -Copyright (C) 2004, +Copyright (C) 2005, <i>the HELM team</i> False True @@ -79,7 +79,7 @@ Copyright (C) 2004, - 400 + 500 500 True Cic browser @@ -114,102 +114,121 @@ Copyright (C) 2004, GTK_POS_TOP - + True - False - 0 + GTK_ORIENTATION_HORIZONTAL + GTK_TOOLBAR_BOTH + True + True - + True - new browser win - True - True - GTK_RELIEF_NORMAL - True + True + True + False - + True - gtk-new - 4 - 0.5 - 0.5 - 0 - 0 + new browser win + True + True + GTK_RELIEF_NONE + True + + + + True + gtk-new + 4 + 0.5 + 0.5 + 0 + 0 + + - 0 False - False + False - + True - history back - True - True - GTK_RELIEF_NORMAL - True + True + True + False - + True - 0.5 - 0.5 - 0 - 0 - 0 - 0 - 0 - 0 + history back + True + True + GTK_RELIEF_NONE + True - + True - False - 2 - - - - True - gtk-go-back - 4 - 0.5 - 0.5 - 0 - 0 - - - 0 - False - False - - + 0.5 + 0.5 + 0 + 0 + 0 + 0 + 0 + 0 - + True - - True - False - GTK_JUSTIFY_LEFT - False - False - 0.5 - 0.5 - 0 - 0 + 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 - @@ -217,130 +236,170 @@ Copyright (C) 2004, - 0 False - False + False - + True - history forward - True - True - GTK_RELIEF_NORMAL - True + True + True + False - + True - gtk-go-forward - 4 - 0.5 - 0.5 - 0 - 0 + history forward + True + True + GTK_RELIEF_NONE + True + + + + True + gtk-go-forward + 4 + 0.5 + 0.5 + 0 + 0 + + - 0 False - False + False - + True - refresh - True - True - GTK_RELIEF_NORMAL - True + True + True + False - + True - gtk-refresh - 4 - 0.5 - 0.5 - 0 - 0 + refresh + True + True + GTK_RELIEF_NONE + True + + + + True + gtk-refresh + 4 + 0.5 + 0.5 + 0 + 0 + + - 0 False - False + False - + True - home - True - True - GTK_RELIEF_NORMAL - True + True + True + False - + True - gtk-home - 4 - 0.5 - 0.5 - 0 - 0 + home + True + True + GTK_RELIEF_NONE + True + + + + True + gtk-home + 4 + 0.5 + 0.5 + 0 + 0 + + - 0 False - False + False - + True - gtk-jump-to - 4 - 0.5 - 0.5 - 0 - 0 + True + True + False + + + + True + gtk-jump-to + 4 + 0.5 + 0.5 + 0 + 0 + + - 0 False - True + False - + True - cic uri - True - True - True - 0 - - True - * - False + True + True + False + + + + True + cic uri + True + True + True + 0 + + True + * + False + 34 + + - 0 - True - True + False + False @@ -358,7 +417,7 @@ Copyright (C) 2004, True 0 0 - GTK_SHADOW_NONE + GTK_SHADOW_IN @@ -753,149 +812,207 @@ Copyright (C) 2004, False - + True False 0 - + True + GTK_SHADOW_OUT + GTK_POS_LEFT + GTK_POS_TOP - + True - _File - True - + + True + _File + True - - True - _New - True + - - + + True - gtk-new - 1 - 0.5 - 0.5 - 0 - 0 + _New + True + + + + True + gtk-new + 1 + 0.5 + 0.5 + 0 + 0 + + - + + True + _Open... + True + - - + + True - _Proof or definition ... - True + gtk-open + 1 + 0.5 + 0.5 + 0 + 0 + + - - + + + True + _Save + True + + + + True - (Co)Inductive _definitions ... - True + gtk-save + 1 + 0.5 + 0.5 + 0 + 0 - - - - - True - _Open... - True - + + + True + Save _As ... + True + + + + True + gtk-save-as + 1 + 0.5 + 0.5 + 0 + 0 + + + + - - + + True - gtk-open - 1 - 0.5 - 0.5 - 0 - 0 + + + + + + True + _Quit + True + + + + + True + gtk-quit + 1 + 0.5 + 0.5 + 0 + 0 + + + + + + + + True + _Edit + True + + + + + + True + _View + True - - True - _Save - True - + - - + + True - gtk-save - 1 - 0.5 - 0.5 - 0 - 0 + New Cic Browser + True + + + + + + + True + Debug + True - - True - Save _As ... - True + - - + + True - gtk-save-as - 1 - 0.5 - 0.5 - 0 - 0 + + - - - True - - + + + True + _Help + True - - True - _Quit - True - + - - + + True - gtk-quit - 1 - 0.5 - 0.5 - 0 - 0 + About... + True @@ -904,182 +1021,331 @@ Copyright (C) 2004, + + + 0 + False + False + + - - - True - _Edit - True - - + + + True + False + 0 - + True - _View - True + GTK_SHADOW_OUT + GTK_POS_TOP + GTK_POS_TOP - - - - - True - Show Button Bar - True - True - - + + 109 + True + True + 0 - + True - New Cic Browser - True - - - + False + 0 - - - True - Show Script Window - True - False - - - + + + True + GTK_ORIENTATION_HORIZONTAL + GTK_TOOLBAR_BOTH + True + 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 - Toggle console - True - - - - - - - + GTK_ORIENTATION_HORIZONTAL + GTK_TOOLBAR_BOTH + True + True - - - True - Debug - True + + + True + True + True + False - - + + + 55 + True + Elim + True + elim + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + - - - True + + + True + True + True + False + + + + 55 + True + ElimType + True + elimTy + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + 0 + False + False + - - - - - - - - True - _Help - True - - - - + True - About... - True - - - - - - - - - 0 - False - False - - + GTK_ORIENTATION_HORIZONTAL + GTK_TOOLBAR_BOTH + True + True - - - True - True - 450 + + + True + True + True + False - - - True - True - True - True - GTK_POS_TOP - False - False - - - True - False - - + + + 25 + True + Split + True + ∧ + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + - - - True - True - False + + + True + True + True + False - - - True - False - 0 + + + 25 + True + Left + True + L + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + - - - True - False - 0 + + + True + True + True + False + + + + 25 + True + Right + True + R + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + - + True - Hide console - True - GTK_RELIEF_NORMAL - True + True + True + False - + + 25 True - gtk-close - 4 - 0.5 - 0.5 - 0 - 0 + Exists + True + ∃ + True + GTK_RELIEF_NORMAL + True - 0 False - False + False @@ -1091,1029 +1357,936 @@ Copyright (C) 2004, - + True - GTK_POLICY_AUTOMATIC - GTK_POLICY_AUTOMATIC - GTK_SHADOW_IN - GTK_CORNER_TOP_LEFT + 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 - True - True + False + False - - - - - True - False - - - - - 0 - True - True - - - - - - True - True - - - 0 - False - False - - - - - - - - - - Matita: script - GTK_WINDOW_TOPLEVEL - GTK_WIN_POS_NONE - False - 450 - 800 - True - False - True - False - False - GDK_WINDOW_TYPE_HINT_NORMAL - GDK_GRAVITY_NORTH_WEST - - - True - True - False + + + True + False + 0 - - - True - False - 0 + + + True + GTK_ORIENTATION_HORIZONTAL + GTK_TOOLBAR_BOTH + True + True - - - True - GTK_SHADOW_OUT - GTK_POS_LEFT - GTK_POS_TOP + + + True + True + True + False + + + + 55 + True + Simplify + True + simpl + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + - - - True - False - 0 + + + True + True + True + False + + + + 50 + True + Reduce + True + red + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + + 0 + False + False + + - - - True - restart - True - GTK_RELIEF_NORMAL - True + + + True + GTK_ORIENTATION_HORIZONTAL + GTK_TOOLBAR_BOTH + True + True - - - True - gtk-goto-top - 4 - 0.5 - 0.5 - 0 - 0 + + + True + True + True + False + + + + 55 + True + Whd + True + whd + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + + 0 + False + False + + + + 0 + False + False + - - - 0 - False - False - - - - - - True - go back 1 phrase - True - GTK_RELIEF_NORMAL - True - + True - gtk-go-up - 4 - 0.5 - 0.5 - 0 - 0 - - - - - 0 - False - False - - + GTK_ORIENTATION_HORIZONTAL + GTK_TOOLBAR_BOTH + True + True - - - True - execute until point - True - GTK_RELIEF_NORMAL - True + + + True + True + True + False - - - True - gtk-jump-to - 4 - 0.5 - 0.5 - 0 - 0 + + + 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 + - - - 0 - False - False - - - - - - True - go forward 1 phrase - True - GTK_RELIEF_NORMAL - True - + True - gtk-go-down - 4 - 0.5 - 0.5 - 0 - 0 + 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 - False - False - + + + 0 + True + True + + + + + + True + True - + + 400 True - execute all - True - GTK_RELIEF_NORMAL - True + False + 0 - + True - gtk-goto-bottom - 4 - 0.5 - 0.5 - 0 - 0 - - - - - 0 - False - False - - - - - - - 0 - False - True - - - - - - 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_IN - 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 - - - - - - - - - - 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 - - + GTK_ORIENTATION_HORIZONTAL + GTK_TOOLBAR_BOTH + True + True - - - 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 - - - - - - - - 155 - 450 - Tactics - GTK_WINDOW_TOPLEVEL - GTK_WIN_POS_NONE - False - False - False - True - False - False - GDK_WINDOW_TYPE_HINT_TOOLBAR - GDK_GRAVITY_NORTH_WEST - - - - True - True - False - - - - True - False - 0 - - - - True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True - - - - True - True - True - False - - - - 50 - 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 - - - - - - True - True - True - False - - - - 50 - True - Exact - True - exact - True - GTK_RELIEF_NORMAL - True - - - - - False - False - - - - - 0 - False - False - - - - - - True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True + + + True + True + True + False - - - True - True - True - False + + + True + restart + True + GTK_RELIEF_NONE + True + + + + True + gtk-goto-top + 4 + 0.5 + 0.5 + 0 + 0 + + + + + + + False + False + + - - - 50 - True - Elim - True - elim - True - GTK_RELIEF_NORMAL - True - - - - - False - False - - + + + True + True + True + 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 + + - - - 50 - True - ElimType - True - elimTy - True - GTK_RELIEF_NORMAL - True - - - - - False - False - - - - - 0 - False - False - - + + + True + True + True + False - - - True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True + + + 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 + True + True + False - - - 50 - True - Split - True - split - True - GTK_RELIEF_NORMAL - True - - - - - False - 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 + True + True + False - - - 25 - True - Left - True - L - True - GTK_RELIEF_NORMAL - True - - - - - False - 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 - False + + + True + True + True + True + GTK_POS_BOTTOM + False + False - - - 25 - True - Right - True - R - True - GTK_RELIEF_NORMAL - True - - - - - False - False - - + + + True + True + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC + GTK_SHADOW_NONE + GTK_CORNER_TOP_LEFT - - - True - True - True - False + + + True + True + True + False + True + GTK_JUSTIFY_LEFT + GTK_WRAP_NONE + True + 0 + 0 + 0 + 0 + 0 + 0 + + + + + + False + True + + - - - 25 - True - Exists - True - ∃ - True - GTK_RELIEF_NORMAL - True - - - - - False - False - - - - - 0 - False - False - - + + + True + script + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + + tab + + - - - True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True + + + True + True + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC + GTK_SHADOW_NONE + GTK_CORNER_TOP_LEFT - - - True - True - True - False + + + True + True + False + False + False + True + + + + + False + True + + - - - 50 - True - Reflexivity - True - refl - True - GTK_RELIEF_NORMAL - True + + + True + outline + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + + tab + + + + + 0 + True + True + + + + True + False + - - - False - False - - - - - - True - True - True - False - - 50 + + 450 + 500 True - Symmetry True - sym - True - GTK_RELIEF_NORMAL - True - - - - - False - False - - + 450 - - - True - True - True - False + + + True + True + True + True + GTK_POS_TOP + False + False + + + True + False + + - - - 50 - True - Transitivity - True - trans - True - GTK_RELIEF_NORMAL - True + + + 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 + - False - False + 0 + True + True 0 - False - False + True + True - + True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True + False + 0 - + True - True - True - False - - - - 50 - True - Simplify - True - simpl - True - GTK_RELIEF_NORMAL - True - - + True - False - False + 0 + True + True - + True - True - True - False + False + True + GTK_POS_TOP + False + False - - 50 + True - Reduce - True - red - True - GTK_RELIEF_NORMAL - True + 0.5 + 0.5 + 0 + 0 + + False + True + - - - False - False - - - - - - True - True - True - False - - 50 + True - Whd - True - whd - True - GTK_RELIEF_NORMAL - True + label14 + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + tab + - - - False - False - - - - - 0 - False - False - - - - - - True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True - - - True - True - True - False + + + True + 0.5 + 0.5 + 0 + 0 + + + False + True + + - - 50 + True - Assumption - True - asum - True - GTK_RELIEF_NORMAL - True + label15 + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + tab + - - - False - False - - - - - True - True - True - False + + + True + 0.5 + 0.5 + 0 + 0 + + + False + True + + - - 50 + True - Auto - True - auto - True - GTK_RELIEF_NORMAL - True + label16 + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + tab + + 0 False - False + True @@ -2123,74 +2296,126 @@ Copyright (C) 2004, 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 - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_BOTH - True - True + True + True + gtk-cancel + True + GTK_RELIEF_NORMAL + True + -6 + + - - - True - True - True - False + + + True + True + True + gtk-ok + True + GTK_RELIEF_NORMAL + True + -5 + + + + + 0 + False + True + GTK_PACK_END + + - - - 50 - True - Cut - True - cut - True - GTK_RELIEF_NORMAL - True - - - - - False - False - - + + + True + DUMMY + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + - - - True - True - True - False + + + True + True + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC + GTK_SHADOW_IN + GTK_CORNER_TOP_LEFT - - - 50 - True - Replace - True - repl - True - GTK_RELIEF_NORMAL - True - - - - - False - False - - + + + True + True + True + False + True + GTK_JUSTIFY_LEFT + GTK_WRAP_NONE + True + 0 + 0 + 0 + 0 + 0 + 0 + - - 0 - False - False - + + 0 + True + True +