etc/symbols
changeset 70204 230188a56a9e
parent 70015 c8e08d8ffb93
child 70368 b67737bc5bd1
equal deleted inserted replaced
70203:cd2af90360ee 70204:230188a56a9e
   392 \<^assert>
   392 \<^assert>
   393 \<^binding>             argument: cartouche
   393 \<^binding>             argument: cartouche
   394 \<^class>               argument: cartouche
   394 \<^class>               argument: cartouche
   395 \<^class_syntax>        argument: cartouche
   395 \<^class_syntax>        argument: cartouche
   396 \<^command_keyword>     argument: cartouche
   396 \<^command_keyword>     argument: cartouche
       
   397 \<^const>               argument: cartouche
   397 \<^const_abbrev>        argument: cartouche
   398 \<^const_abbrev>        argument: cartouche
   398 \<^const_name>          argument: cartouche
   399 \<^const_name>          argument: cartouche
   399 \<^const_syntax>        argument: cartouche
   400 \<^const_syntax>        argument: cartouche
   400 \<^context>
   401 \<^context>
   401 \<^cprop>               argument: cartouche
   402 \<^cprop>               argument: cartouche