play.cmd

   1 BN: play
   2 SF: play.c
   3 SN: list of commands
   4 ---
   5 N: quit
   6 D: Exit para_play.
   7 U: quit
   8 H: Pressing CTRL+D causes EOF on stdin which also exits para_play.