author | wenzelm |
Sun, 28 Apr 2019 13:03:16 +0200 | |
changeset 70204 | 230188a56a9e |
parent 70203 | cd2af90360ee |
child 70205 | 3293471cf176 |
etc/symbols | file | annotate | diff | comparison | revisions |
--- a/etc/symbols Sun Apr 28 12:34:56 2019 +0200 +++ b/etc/symbols Sun Apr 28 13:03:16 2019 +0200 @@ -394,6 +394,7 @@ \<^class> argument: cartouche \<^class_syntax> argument: cartouche \<^command_keyword> argument: cartouche +\<^const> argument: cartouche \<^const_abbrev> argument: cartouche \<^const_name> argument: cartouche \<^const_syntax> argument: cartouche