EditorDoc Sections Nuprl Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
To insert FN<ml> use the command `mlbut'.

`(mouseleft)' on FN<ml> will apply the enclosed function to the point, and replace it by the result.

The following variants can be gotten by toggling with `(backspace)':

FN<ml> FNcover<ml> FNpopup<ml> FNquiet<ml>

doc for ml execution cmds for detail of how they execute.

You can get DO <ml> from any of these with the `(c-a)(c-(backspace))' command.

`(mouseleft)' on DO <ml> will execute the enclosed ML expression. The variant DOquit <ml> toggles via `(backspace)' with DO <ml> and attempts a safe quit of the object containing the button.

To display one of these buttons as a mnemonic string, use the `(c-s)' command on it, and fill in the text slot with the desired string. Emptying this string will revert the form. `(c-u){(tab)(return)}' in the empty text slot, or `(c-a)(c-d)' in the text slot empty or not, will make the string empty.

Various ways of executing ML commands are documented in doc for ml execution cmds. IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

EditorDoc Sections Nuprl Doc