X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2Fmatita.glade;h=4ecd6d46a705389b0a20b9d06af9a3309826c0e7;hb=6b7f04b45232e6c690cacf5815c85c39de1f52b3;hp=de66dbf30a92cdb1a392de1a2f30e42c641f56eb;hpb=481992ea591bf53cba758a96e7d42e9cdce7e129;p=helm.git diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade index de66dbf30..4ecd6d46a 100644 --- a/helm/matita/matita.glade +++ b/helm/matita/matita.glade @@ -13,307 +13,362 @@ 600 True False + True + False + False + GDK_WINDOW_TYPE_HINT_NORMAL + GDK_GRAVITY_NORTH_WEST - + True - False - 0 + True + False - + True + False + 0 - + 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 + _Proof or definition ... + True + + + + + + True + (Co)Inductive _definitions ... + True + + + + - + + 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 + Show Button Bar + True + True - - - - - True - Save _As ... - True + + + True + Show Proof Window + True + False + + + - - + + True - gtk-save-as - 1 - 0.5 - 0.5 - 0 - 0 + Show Check Window + True + False + - - - - - True + + + True + Show Script Window + True + False + + + + + + + + + True + Debug + True - - True - _Quit - True - + - - + + True - gtk-quit - 1 - 0.5 - 0.5 - 0 - 0 - - - - - - True - _Edit - True - - - - - - True - _View - True - + + True + _Help + True - - True - Show Button Bar - True - True - - + - - - True - Show Proof Window - True - False - + + + True + About... + True + + + + 0 + False + False + - + True - Debug - True + True + 450 - + + True + GTK_POLICY_ALWAYS + GTK_POLICY_ALWAYS + GTK_SHADOW_NONE + GTK_CORNER_TOP_LEFT - + True + GTK_SHADOW_IN + + + + True + True + True + True + GTK_POS_TOP + False + False + + + + True + False + - - - - - - True - _Help - True - + + True + True + False - + True - About... - True + GTK_POLICY_NEVER + GTK_POLICY_ALWAYS + GTK_SHADOW_IN + GTK_CORNER_TOP_LEFT + + + + - - - - - - 0 - False - False - - - - - - True - True - 450 - - - - True - GTK_POLICY_ALWAYS - GTK_POLICY_ALWAYS - GTK_SHADOW_NONE - GTK_CORNER_TOP_LEFT - - - + + True + True + - True - False + 0 + True + True - + True - GTK_POLICY_NEVER - GTK_POLICY_ALWAYS - GTK_SHADOW_IN - GTK_CORNER_TOP_LEFT - - - - + True - True - True + 0 + False + False - - 0 - True - True - - - - - - True - True - - - 0 - False - False - @@ -328,10 +383,17 @@ 525 True False + True + False + False + GDK_WINDOW_TYPE_HINT_NORMAL + GDK_GRAVITY_NORTH_WEST True + True + False @@ -342,14 +404,7 @@ GTK_CORNER_TOP_LEFT - - True - GTK_SHADOW_IN - - - - - + @@ -365,120 +420,576 @@ 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 - 130 + 150 450 True - ToolBar + Tactics GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE False False False + True + False + False + GDK_WINDOW_TYPE_HINT_NORMAL + GDK_GRAVITY_NORTH_WEST True + True + False - + True False 0 - + True - GTK_BUTTONBOX_DEFAULT_STYLE - 0 + GTK_ORIENTATION_HORIZONTAL + GTK_TOOLBAR_BOTH + True + True - - 120 + True - True - True - button1 - True - GTK_RELIEF_NORMAL + True + True + False + + + + True + Intros + True + intros + True + GTK_RELIEF_NORMAL + True + + + + False + False + - + True - True - True - button2 - True - GTK_RELIEF_NORMAL + True + True + False + + + + True + Apply + True + apply + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + + + True + True + True + False + + + + 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 - button3 - True - GTK_RELIEF_NORMAL + True + True + False + + + + True + Elim + True + elim + True + GTK_RELIEF_NORMAL + True + + + + False + False + - + True - True - True - button4 - True - GTK_RELIEF_NORMAL + True + True + False + + + + True + ElimType + True + elimTy + True + GTK_RELIEF_NORMAL + True + + + + False + False + 0 False - True + False - + True + GTK_ORIENTATION_HORIZONTAL + GTK_TOOLBAR_BOTH + True + True + + + + True + True + True + False + + + + True + Split + True + split + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + + + True + True + True + False + + + + True + Left + True + left + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + + + True + True + True + False + + + + True + Right + True + right + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + + + True + True + True + False + + + + True + Exists + True + ∃ + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + - 5 + 0 False - True + False + + + + + + True + GTK_ORIENTATION_HORIZONTAL + GTK_TOOLBAR_BOTH + True + True + + + + True + True + True + False + + + + True + Reflexivity + True + refl + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + + + True + True + True + False + + + + True + Symmetry + True + sym + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + + + True + True + True + False + + + + True + Transitivity + True + trans + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + + 0 + False + False + + + + + + True + GTK_ORIENTATION_HORIZONTAL + GTK_TOOLBAR_BOTH + True + True + + + + True + True + True + False + + + + True + Assumption + True + assum + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + + + True + True + True + False + + + + True + Search + True + search + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + + + True + True + True + False + + + + 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 + + + + True + Cut + True + cut + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + + + True + True + True + False + + + + True + Replace + True + repl + True + GTK_RELIEF_NORMAL + True + + + + + False + False + + + + + 0 + False + False - - - - @@ -492,6 +1003,11 @@ True False False + True + False + False + GDK_WINDOW_TYPE_HINT_DIALOG + GDK_GRAVITY_NORTH_WEST True @@ -513,6 +1029,7 @@ gtk-cancel True GTK_RELIEF_NORMAL + True -6 @@ -525,6 +1042,7 @@ gtk-ok True GTK_RELIEF_NORMAL + True -5 @@ -568,6 +1086,11 @@ True False False + True + False + False + GDK_WINDOW_TYPE_HINT_DIALOG + GDK_GRAVITY_NORTH_WEST True @@ -589,6 +1112,7 @@ gtk-ok True GTK_RELIEF_NORMAL + True -5 @@ -602,7 +1126,29 @@ - + + True + <b>Matita @VERSION@</b> + +<tt>http://helm.cs.unibo.it</tt> + +Copyright (C) 2004, +<i>the HELM team</i> + False + True + GTK_JUSTIFY_CENTER + False + False + 0.5 + 0.5 + 5 + 5 + + + 0 + False + False + @@ -616,6 +1162,11 @@ True True False + True + False + False + GDK_WINDOW_TYPE_HINT_DIALOG + GDK_GRAVITY_NORTH_WEST True @@ -637,6 +1188,7 @@ gtk-cancel True GTK_RELIEF_NORMAL + True -6 @@ -647,6 +1199,7 @@ True True GTK_RELIEF_NORMAL + True 0 @@ -656,6 +1209,10 @@ 0.5 0 0 + 0 + 0 + 0 + 0 @@ -716,6 +1273,7 @@ Try Constants True GTK_RELIEF_NORMAL + True 0 @@ -726,6 +1284,7 @@ True True GTK_RELIEF_NORMAL + True 0 @@ -735,6 +1294,10 @@ 0.5 0 0 + 0 + 0 + 0 + 0 @@ -884,7 +1447,7 @@ 0 True - * + * False @@ -918,6 +1481,11 @@ True True False + True + False + False + GDK_WINDOW_TYPE_HINT_DIALOG + GDK_GRAVITY_NORTH_WEST True @@ -939,6 +1507,7 @@ gtk-help True GTK_RELIEF_NORMAL + True -11 @@ -951,6 +1520,7 @@ gtk-cancel True GTK_RELIEF_NORMAL + True -6 @@ -963,6 +1533,7 @@ gtk-ok True GTK_RELIEF_NORMAL + True -5 @@ -1024,6 +1595,11 @@ False True False + True + False + False + GDK_WINDOW_TYPE_HINT_DIALOG + GDK_GRAVITY_NORTH_WEST True @@ -1045,6 +1621,7 @@ gtk-cancel True GTK_RELIEF_NORMAL + True -6 @@ -1057,6 +1634,7 @@ gtk-ok True GTK_RELIEF_NORMAL + True -5 @@ -1097,4 +1675,350 @@ + + 300 + 200 + Matita: check term + 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 + True + GTK_POLICY_ALWAYS + GTK_POLICY_ALWAYS + GTK_SHADOW_NONE + GTK_CORNER_TOP_LEFT + + + + + + + + + + + + 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 + GTK_ORIENTATION_HORIZONTAL + GTK_TOOLBAR_BOTH + True + True + + + + True + True + True + False + + + + True + go back 1 phrase + True + GTK_RELIEF_NORMAL + True + + + + True + gtk-go-back + 4 + 0.5 + 0.5 + 0 + 0 + + + + + + + False + False + + + + + + True + True + True + False + + + + True + execute til cursor + True + GTK_RELIEF_NORMAL + 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_NORMAL + True + + + + True + gtk-go-forward + 4 + 0.5 + 0.5 + 0 + 0 + + + + + + + False + False + + + + + 0 + False + False + + + + + + True + True + GTK_POLICY_ALWAYS + GTK_POLICY_ALWAYS + 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 + + + + + + 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 + + + + + + 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 + + + + + +