EditorDoc Sections Nuprl Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
While there are various ways to view objects, the basic one is by `(mouseleft)' or `show' on what we call an object reference, or obref.

The basic form of obref is [ob name] which points to the object named in the text slot.

To insert this form of obref just use `{obrobref}' on an empty term slot, then enter the name of the object in the text slot.
To simplify this task you can enter a few letters from the start of the object name and the use the name completion command `(c-&)'.

Note: If you use letters only of lower case, and omit the "_" character, then even objects whose name use upper case letters and have "_" inserted are included in the name completion search.

For more detail see:

Object References
Name Completion
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
EditorDoc Sections Nuprl Doc