etc/symbols
changeset 73586 76d0b6597c91
parent 73550 2f6855142a8c
child 74290 b2ad24b5a42c
equal deleted inserted replaced
73585:386416437ce9 73586:76d0b6597c91
   489 \<^oracle_name>         argument: cartouche
   489 \<^oracle_name>         argument: cartouche
   490 \<^code>                argument: cartouche
   490 \<^code>                argument: cartouche
   491 \<^computation>         argument: cartouche
   491 \<^computation>         argument: cartouche
   492 \<^computation_conv>    argument: cartouche
   492 \<^computation_conv>    argument: cartouche
   493 \<^computation_check>   argument: cartouche
   493 \<^computation_check>   argument: cartouche
       
   494 \<^if_linux>            argument: cartouche
       
   495 \<^if_macos>            argument: cartouche
       
   496 \<^if_windows>          argument: cartouche
       
   497 \<^if_unix>             argument: cartouche
       
   498