Nuprl - KBDCMDkbd words indent

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
`margin' kbd_words_indent

(words, insert)

[chars]<|words>

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html