equal
deleted
inserted
replaced
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 |