EditorDoc Sections Nuprl Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
The main ways to invoke ML on user expressions are to use the commands `(c-z)' and `{(m-z)(cm-z)}', and to use the `(mouseleft)' on certain buttons.

`(c-z)' doc for ml execution generic
 
`{(m-z)(cm-z)}' doc for ml execution in place
 
`(mouseleft)' on DO <ml>, FN<ml> and its variants.

doc for ml execution mouse

To abort execution, enter (c-c), or perhaps (c-c)(c-c), into the LISP window; then you can either continue execution with ":c", or abort with ":a" and resume nuprl with "(nuprl)".

You can exit the editor and key strings into the ML command interpreter in the LISP window by using the command (m-x)cmd. To get back to the editor from there, assuming there's at least one object on view, tell ML this: x(return) IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

EditorDoc Sections Nuprl Doc