IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Preparing the Nuprl Source Documents
The words-oriented parts of texts can be created according to the Word Processing operations. Parts of text not conforming to these word processor conventions, such as mathematical or program text, will be treated as generic text to be displayed approximating the internal Nuprl display methods.
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html