Some significant differences:
The commands are quite different.IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.htmlThere is little support in this editor for sequences of characters with embedded terms; there is much more support for "structured" terms, especially for ML.
There is no ML top-loop. ML is easily executed from within any object.