clarified groups, notably for Symbols dockable;
authorwenzelm
Fri Jan 01 11:12:43 2016 +0100 (2016-01-01)
changeset 6202319605292757e
parent 62022 7a6ae107ec3c
child 62024 e3e22a5e85f2
clarified groups, notably for Symbols dockable;
etc/symbols
     1.1 --- a/etc/symbols	Fri Jan 01 11:07:29 2016 +0100
     1.2 +++ b/etc/symbols	Fri Jan 01 11:12:43 2016 +0100
     1.3 @@ -361,19 +361,19 @@
     1.4  \<open>                 code: 0x002039  group: punctuation  font: IsabelleText  abbrev: <<
     1.5  \<close>                code: 0x00203a  group: punctuation  font: IsabelleText  abbrev: >>
     1.6  \<here>                 code: 0x002302  font: IsabelleText
     1.7 -\<^undefined>           code: 0x002756  group: control  font: IsabelleText
     1.8 -\<^noindent>            code: 0x0021e4  group: control  font: IsabelleText
     1.9 -\<^smallskip>           code: 0x002508  group: control  font: IsabelleText
    1.10 -\<^medskip>             code: 0x002509  group: control  font: IsabelleText
    1.11 -\<^bigskip>             code: 0x002501  group: control  font: IsabelleText
    1.12 -\<^item>                code: 0x0025aa  group: control  font: IsabelleText
    1.13 -\<^enum>                code: 0x0025b8  group: control  font: IsabelleText
    1.14 -\<^descr>               code: 0x0027a7  group: control  font: IsabelleText
    1.15 -\<^footnote>            code: 0x00204b  group: control  font: IsabelleText
    1.16 -\<^verbatim>            code: 0x0025a9  group: control  font: IsabelleText
    1.17 -\<^theory_text>         code: 0x002b1a  group: control  font: IsabelleText
    1.18 -\<^emph>                code: 0x002217  group: control  font: IsabelleText
    1.19 -\<^bold>                code: 0x002759  group: control  font: IsabelleText
    1.20 +\<^undefined>           code: 0x002756  font: IsabelleText
    1.21 +\<^noindent>            code: 0x0021e4  group: document  font: IsabelleText
    1.22 +\<^smallskip>           code: 0x002508  group: document  font: IsabelleText
    1.23 +\<^medskip>             code: 0x002509  group: document  font: IsabelleText
    1.24 +\<^bigskip>             code: 0x002501  group: document  font: IsabelleText
    1.25 +\<^item>                code: 0x0025aa  group: document  font: IsabelleText
    1.26 +\<^enum>                code: 0x0025b8  group: document  font: IsabelleText
    1.27 +\<^descr>               code: 0x0027a7  group: document  font: IsabelleText
    1.28 +\<^footnote>            code: 0x00204b  group: document  font: IsabelleText
    1.29 +\<^verbatim>            code: 0x0025a9  group: document  font: IsabelleText
    1.30 +\<^theory_text>         code: 0x002b1a  group: document  font: IsabelleText
    1.31 +\<^emph>                code: 0x002217  group: document  font: IsabelleText
    1.32 +\<^bold>                code: 0x002759  group: control  group: document  font: IsabelleText
    1.33  \<^sub>                 code: 0x0021e9  group: control  font: IsabelleText
    1.34  \<^sup>                 code: 0x0021e7  group: control  font: IsabelleText
    1.35  \<^bsub>                code: 0x0021d8  group: control_block  font: IsabelleText  abbrev: =_(