`{ededit}'

Produces a palette of buttons appropriate for editing the sort of term at the point or the current object.
It will either raise a window or insert a cover.
The user can also specify exactly which kind is wanted with other commands:
`dfedit' for display specs
`absedit' for operator definitions
`wedit' for word processing
`mledit' for structured ML
`cmdedit' for edit commands
`precedit' for operator precedence specs
`redit' for primitive rule definitions
`expledit' for explode-forms of terms
`charedit' for inserting non-keyboard characters such as
`pfedit' for proof editing utilities
`markupedit' computation descriptions
`miscedit' for miscellaneous editing buttons IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html