Prints brief documentation for buttons in PICK.GEN
PICK.DOC(w)
w
Buttons are defined in advance
printed side effect
Jonathan M. Lees<jonathan.lees.edu>
PICK.GEN
PICK.DOC(6:23)