etc/symbols
changeset 67311 3869b2400e22
parent 67305 ecb74607063f
child 67413 2555713586c8
--- a/etc/symbols	Mon Jan 01 16:36:52 2018 +0100
+++ b/etc/symbols	Mon Jan 01 21:17:28 2018 +0100
@@ -358,7 +358,7 @@
 \<some>                 code: 0x0003f5
 \<hole>                 code: 0x002311
 \<newline>              code: 0x0023ce
-\<comment>              code: 0x002015  group: document  font: IsabelleText
+\<comment>              code: 0x002015  group: document  argument: space_cartouche  font: IsabelleText
 \<open>                 code: 0x002039  group: punctuation  font: IsabelleText  abbrev: <<
 \<close>                code: 0x00203a  group: punctuation  font: IsabelleText  abbrev: >>
 \<^here>                code: 0x002302  font: IsabelleText
@@ -370,19 +370,56 @@
 \<^item>                code: 0x0025aa  group: document  font: IsabelleText
 \<^enum>                code: 0x0025b8  group: document  font: IsabelleText
 \<^descr>               code: 0x0027a7  group: document  font: IsabelleText
-\<^footnote>            code: 0x00204b  group: document  font: IsabelleText
-\<^verbatim>            code: 0x0025a9  group: document  font: IsabelleText
-\<^theory_text>         code: 0x002b1a  group: document  font: IsabelleText
-\<^emph>                code: 0x002217  group: document  font: IsabelleText
-\<^bold>                code: 0x002759  group: control  group: document  font: IsabelleText
+\<^footnote>            code: 0x00204b  group: document  argument: cartouche  font: IsabelleText
+\<^verbatim>            code: 0x0025a9  group: document  argument: cartouche  font: IsabelleText
+\<^theory_text>         code: 0x002b1a  group: document  argument: cartouche  font: IsabelleText
+\<^emph>                code: 0x002217  group: document  argument: cartouche  font: IsabelleText
+\<^bold>                code: 0x002759  group: control  argument: cartouche  group: document  font: IsabelleText
 \<^sub>                 code: 0x0021e9  group: control  font: IsabelleText
 \<^sup>                 code: 0x0021e7  group: control  font: IsabelleText
 \<^bsub>                code: 0x0021d8  group: control_block  font: IsabelleText  abbrev: =_(
 \<^esub>                code: 0x0021d9  group: control_block  font: IsabelleText  abbrev: =_)
 \<^bsup>                code: 0x0021d7  group: control_block  font: IsabelleText  abbrev: =^(
 \<^esup>                code: 0x0021d6  group: control_block  font: IsabelleText  abbrev: =^)
-\<^file>                code: 0x01F5CF  group: icon  font: IsabelleText
-\<^dir>                 code: 0x01F5C0  group: icon  font: IsabelleText
-\<^url>                 code: 0x01F310  group: icon  font: IsabelleText
-\<^doc>                 code: 0x01F4D3  group: icon  font: IsabelleText
-\<^action>              code: 0x00261b  group: icon  font: IsabelleText
+\<^file>                code: 0x01F5CF  group: icon  argument: cartouche  font: IsabelleText
+\<^dir>                 code: 0x01F5C0  group: icon  argument: cartouche  font: IsabelleText
+\<^url>                 code: 0x01F310  group: icon  argument: cartouche  font: IsabelleText
+\<^doc>                 code: 0x01F4D3  group: icon  argument: cartouche  font: IsabelleText
+\<^action>              code: 0x00261b  group: icon  argument: cartouche  font: IsabelleText
+\<^assert>
+\<^binding>             argument: cartouche
+\<^class>               argument: cartouche
+\<^class_syntax>        argument: cartouche
+\<^command_keyword>     argument: cartouche
+\<^const_abbrev>        argument: cartouche
+\<^const_name>          argument: cartouche
+\<^const_syntax>        argument: cartouche
+\<^context>
+\<^cprop>               argument: cartouche
+\<^cterm>               argument: cartouche
+\<^ctyp>                argument: cartouche
+\<^keyword>             argument: cartouche
+\<^locale>              argument: cartouche
+\<^make_string>
+\<^method>              argument: cartouche
+\<^named_theorems>      argument: cartouche
+\<^nonterminal>         argument: cartouche
+\<^path>                argument: cartouche
+\<^plugin>              argument: cartouche
+\<^print>
+\<^prop>                argument: cartouche
+\<^simproc>             argument: cartouche
+\<^sort>                argument: cartouche
+\<^syntax_const>        argument: cartouche
+\<^system_option>       argument: cartouche
+\<^term>                argument: cartouche
+\<^theory>              argument: cartouche
+\<^theory_context>      argument: cartouche
+\<^typ>                 argument: cartouche
+\<^type_abbrev>         argument: cartouche
+\<^type_name>           argument: cartouche
+\<^type_syntax>         argument: cartouche
+\<^code>                argument: cartouche
+\<^computation>         argument: cartouche
+\<^computation_conv>    argument: cartouche
+\<^computation_check>   argument: cartouche