etc/symbols
changeset 72332 319dd5c618a5
parent 71902 1529336eaedc
child 72763 3cc73d00553c
equal deleted inserted replaced
72331:850ba6d47300 72332:319dd5c618a5
   420 \<^bash_function>       argument: cartouche
   420 \<^bash_function>       argument: cartouche
   421 \<^scala>               argument: cartouche
   421 \<^scala>               argument: cartouche
   422 \<^scala_function>      argument: cartouche
   422 \<^scala_function>      argument: cartouche
   423 \<^scala_method>        argument: cartouche
   423 \<^scala_method>        argument: cartouche
   424 \<^scala_object>        argument: cartouche
   424 \<^scala_object>        argument: cartouche
       
   425 \<^scala_thread>        argument: cartouche
   425 \<^scala_type>          argument: cartouche
   426 \<^scala_type>          argument: cartouche
   426 \<^session>             argument: cartouche
   427 \<^session>             argument: cartouche
   427 \<^simproc>             argument: cartouche
   428 \<^simproc>             argument: cartouche
   428 \<^sort>                argument: cartouche
   429 \<^sort>                argument: cartouche
   429 \<^syntax_const>        argument: cartouche
   430 \<^syntax_const>        argument: cartouche