completion for \<^const>, although it often requires an extra argument;
authorwenzelm
Sun, 28 Apr 2019 13:03:16 +0200
changeset 70204 230188a56a9e
parent 70203 cd2af90360ee
child 70205 3293471cf176
completion for \<^const>, although it often requires an extra argument;
etc/symbols
--- 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