etc/symbols
changeset 67311 3869b2400e22
parent 67305 ecb74607063f
child 67413 2555713586c8
     1.1 --- a/etc/symbols	Mon Jan 01 16:36:52 2018 +0100
     1.2 +++ b/etc/symbols	Mon Jan 01 21:17:28 2018 +0100
     1.3 @@ -358,7 +358,7 @@
     1.4  \<some>                 code: 0x0003f5
     1.5  \<hole>                 code: 0x002311
     1.6  \<newline>              code: 0x0023ce
     1.7 -\<comment>              code: 0x002015  group: document  font: IsabelleText
     1.8 +\<comment>              code: 0x002015  group: document  argument: space_cartouche  font: IsabelleText
     1.9  \<open>                 code: 0x002039  group: punctuation  font: IsabelleText  abbrev: <<
    1.10  \<close>                code: 0x00203a  group: punctuation  font: IsabelleText  abbrev: >>
    1.11  \<^here>                code: 0x002302  font: IsabelleText
    1.12 @@ -370,19 +370,56 @@
    1.13  \<^item>                code: 0x0025aa  group: document  font: IsabelleText
    1.14  \<^enum>                code: 0x0025b8  group: document  font: IsabelleText
    1.15  \<^descr>               code: 0x0027a7  group: document  font: IsabelleText
    1.16 -\<^footnote>            code: 0x00204b  group: document  font: IsabelleText
    1.17 -\<^verbatim>            code: 0x0025a9  group: document  font: IsabelleText
    1.18 -\<^theory_text>         code: 0x002b1a  group: document  font: IsabelleText
    1.19 -\<^emph>                code: 0x002217  group: document  font: IsabelleText
    1.20 -\<^bold>                code: 0x002759  group: control  group: document  font: IsabelleText
    1.21 +\<^footnote>            code: 0x00204b  group: document  argument: cartouche  font: IsabelleText
    1.22 +\<^verbatim>            code: 0x0025a9  group: document  argument: cartouche  font: IsabelleText
    1.23 +\<^theory_text>         code: 0x002b1a  group: document  argument: cartouche  font: IsabelleText
    1.24 +\<^emph>                code: 0x002217  group: document  argument: cartouche  font: IsabelleText
    1.25 +\<^bold>                code: 0x002759  group: control  argument: cartouche  group: document  font: IsabelleText
    1.26  \<^sub>                 code: 0x0021e9  group: control  font: IsabelleText
    1.27  \<^sup>                 code: 0x0021e7  group: control  font: IsabelleText
    1.28  \<^bsub>                code: 0x0021d8  group: control_block  font: IsabelleText  abbrev: =_(
    1.29  \<^esub>                code: 0x0021d9  group: control_block  font: IsabelleText  abbrev: =_)
    1.30  \<^bsup>                code: 0x0021d7  group: control_block  font: IsabelleText  abbrev: =^(
    1.31  \<^esup>                code: 0x0021d6  group: control_block  font: IsabelleText  abbrev: =^)
    1.32 -\<^file>                code: 0x01F5CF  group: icon  font: IsabelleText
    1.33 -\<^dir>                 code: 0x01F5C0  group: icon  font: IsabelleText
    1.34 -\<^url>                 code: 0x01F310  group: icon  font: IsabelleText
    1.35 -\<^doc>                 code: 0x01F4D3  group: icon  font: IsabelleText
    1.36 -\<^action>              code: 0x00261b  group: icon  font: IsabelleText
    1.37 +\<^file>                code: 0x01F5CF  group: icon  argument: cartouche  font: IsabelleText
    1.38 +\<^dir>                 code: 0x01F5C0  group: icon  argument: cartouche  font: IsabelleText
    1.39 +\<^url>                 code: 0x01F310  group: icon  argument: cartouche  font: IsabelleText
    1.40 +\<^doc>                 code: 0x01F4D3  group: icon  argument: cartouche  font: IsabelleText
    1.41 +\<^action>              code: 0x00261b  group: icon  argument: cartouche  font: IsabelleText
    1.42 +\<^assert>
    1.43 +\<^binding>             argument: cartouche
    1.44 +\<^class>               argument: cartouche
    1.45 +\<^class_syntax>        argument: cartouche
    1.46 +\<^command_keyword>     argument: cartouche
    1.47 +\<^const_abbrev>        argument: cartouche
    1.48 +\<^const_name>          argument: cartouche
    1.49 +\<^const_syntax>        argument: cartouche
    1.50 +\<^context>
    1.51 +\<^cprop>               argument: cartouche
    1.52 +\<^cterm>               argument: cartouche
    1.53 +\<^ctyp>                argument: cartouche
    1.54 +\<^keyword>             argument: cartouche
    1.55 +\<^locale>              argument: cartouche
    1.56 +\<^make_string>
    1.57 +\<^method>              argument: cartouche
    1.58 +\<^named_theorems>      argument: cartouche
    1.59 +\<^nonterminal>         argument: cartouche
    1.60 +\<^path>                argument: cartouche
    1.61 +\<^plugin>              argument: cartouche
    1.62 +\<^print>
    1.63 +\<^prop>                argument: cartouche
    1.64 +\<^simproc>             argument: cartouche
    1.65 +\<^sort>                argument: cartouche
    1.66 +\<^syntax_const>        argument: cartouche
    1.67 +\<^system_option>       argument: cartouche
    1.68 +\<^term>                argument: cartouche
    1.69 +\<^theory>              argument: cartouche
    1.70 +\<^theory_context>      argument: cartouche
    1.71 +\<^typ>                 argument: cartouche
    1.72 +\<^type_abbrev>         argument: cartouche
    1.73 +\<^type_name>           argument: cartouche
    1.74 +\<^type_syntax>         argument: cartouche
    1.75 +\<^code>                argument: cartouche
    1.76 +\<^computation>         argument: cartouche
    1.77 +\<^computation_conv>    argument: cartouche
    1.78 +\<^computation_check>   argument: cartouche