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

(apply) This is used as the default by `adj'.

Selects and tries one of the adjusters depending on the form of the term and the kind of the object.
See `thmadj' `absadj' `dfadj' `markupadj'. IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

EditorDoc Sections Nuprl Doc