EditorDoc Sections Nuprl Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Paul Jackson's Manual for Nuprl (postscript) is the best documentation for the system, but it is integrated with an explanation of a significantly different editing environment.

Some significant differences:

The commands are quite different.

There 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.

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
EditorDoc Sections Nuprl Doc