X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=fb585f50d262e489c2b65b41178ffcf374e59b61;hb=8844ee999e40d69795aa73fbeb198997a46fcf04;hp=a14858d9109cdf8381fa57947a395e70a961c8e2;hpb=e189bde1e0a562e8689ff41d55d392431609e749;p=helm.git diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade index a14858d91..fb585f50d 100644 --- a/helm/software/matita/matita.glade +++ b/helm/software/matita/matita.glade @@ -1022,6 +1022,15 @@ True + + + True + Automatically expands TeX macros to their corresponding UTF-8 symbol + Auto-expand TeX Macros + True + True + + True @@ -1298,8 +1307,8 @@ True - Show the conversion table from TeX to UTF8 - Tex/UTF8 table + Show the conversion table from TeX like sequences to UTF-8 + TeX/UTF-8 table True @@ -1472,6 +1481,30 @@ 5 + + + True + True + True + Universal (∀_i) + 0 + + + 6 + + + + + True + True + True + Existential (∃_i) + 0 + + + 7 + + @@ -1564,6 +1597,30 @@ 5 + + + True + True + True + Universal (∀_e) + 0 + + + 6 + + + + + True + True + True + Existential (∃_e) + 0 + + + 7 + + @@ -2350,6 +2407,59 @@ 3 2 5 + + + True + 0 + Find: + + + + + + + + + True + 0 + Replace with: + + + 1 + 2 + + + + + + + True + True + True + True + True + * + + + 1 + 2 + + + + + + True + True + * + + + 1 + 2 + 1 + 2 + + + True @@ -2448,59 +2558,6 @@ 5 - - - True - True - * - - - 1 - 2 - 1 - 2 - - - - - - True - True - True - True - True - * - - - 1 - 2 - - - - - - True - 0 - Replace with: - - - 1 - 2 - - - - - - - True - 0 - Find: - - - - - -