EditorDoc Sections Nuprl Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
`{(m-z)(cm-z)}' kbd_eval_in_place

LEFT-hand version recommended.

Execute the term in ML, and return the textual response, indicating the type and value, or an error message, in a cover.
doc for ml execution cmds IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

EditorDoc Sections Nuprl Doc