IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
`;' kbd_libinsert_prefix
Prefix for library object insertion.
When prefixed to name of an ABS or DISP object, inserts the object at the point. See `;;'.
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html