EditorDoc Sections Nuprl Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
`vob' kbd_view_point

If the point is an obref, then view the referenced object. Otherwise:
Try to convert the text of this term to an object name and view it. It may involve removal of some "junk" characters. IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

EditorDoc Sections Nuprl Doc