play.cmd

   1 BN: play
   2 SF: play.c
   3 SN: list of commands
   4 ---
   5 N: tasks
   6 D: Print list of active tasks.
   7 U: tasks
   8 H: Mainly useful for debugging.
   9 ---
  10 N: quit
  11 D: Exit para_play.
  12 U: quit
  13 H: Pressing CTRL+D causes EOF on stdin which also exits para_play.