As soon as you start typing the text <COMMAND> that appeared in this window disappears and is replaced by the letters you type (if this does not happen click here).
When you have typed the whole text of the command you want to send, the upper left corner of the pcoq window should look as in the following figure.