IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
`com' kbd_comment
Insert a comment cover:
Left-mode:
{[word] } <term>
Right-mode:
<term> {[word] }
`(backspace)' toggles between them.
`(c-a)(c-(backspace))' toggles between the hiding and non-hiding comment covers.
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html