If you click on one of the options with `(mouseleft)', or locate the point to the option and hit `(c-u){(tab)(return)}', it will replace the whole sequence.

You can also narrow the choices by simply entering some characters as an identifier or numeric sequence, and this will shrink the sequence to those containing that substring in their display.

If you hit `(c-u){(tab)(return)}' on an option sequence, it narrows to the shortest strings, or selects the first option if they're the same length.

You can move down into a (right nested) sequence of choices with `(c-j)' and `(cm-m)', and move between choices with `(c-l)' and `(c-h)'.

`(backspace)' on a sequence of choices will rotate the sequence, and reversing the left/right mode will rotate the other way (not sticky).

In ML expressions, an edit choice with multiple options is evaluated as if the first option were selected (just look at the definition of <term> |<term>). IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html