scratch}'scratch}'(hideapply) Open a scratch object with the term. If an empty unused scratch object is found, then use it instead of creating a new one. Note that it initially stores an empty slot to the object itself, so you can quit without saving to keep the scratch object reusable.
Return t.
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html