X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=fb585f50d262e489c2b65b41178ffcf374e59b61;hb=d7f32114f3806b51c2ee483dcb5a86e08d086a72;hp=62eefcfd7cf31625053a6ef4c8f71fbec9cd1991;hpb=5c6d665243a131e00b53e80b09250e3e1cb19cff;p=helm.git diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade index 62eefcfd7..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 + + @@ -1597,12 +1654,24 @@ 0 + + + True + True + True + Use lemma (lem) + 0 + + + 1 + + True True True - Discharge (discharge [ ]) + Discharge (discharge) 0