See "Notable Features of this Interface".

How to:

Get Started Using this Interface Find Documentation and Definitions Make Hardcopy of Editor Documents. Tailor this Editor for Yourself. Use Paul Jackson's Nuprl Manual Find Explanations of Primitives Use the Active Mouse Move the Cursor View an Object by Name Track Objects Close a Window Undo Reveal Hidden Parts of a Term Explode an Operator Insert or Delete a Term at the Point Edit Strings within Terms Mix Editing Modes Insert Comments Edit ML Code Edit Proofs Edit WORDS Edit Operator Definitions (ABS) Edit Display Form Specs Do Name Completion Toggle between Cognate Forms Regroup Term Sequences Search for Terms in a Window Create New Objects & Operator Defs Execute ML Expressions Find Library Objects Make Object References Make Buttons Make Keyboard Commands from Buttons Cut & Paste Insert Constable's Dependent-Type Notation Post your Changes to an Object Make Latex Articles from Nuprl Objects Make Generic Listings of Nuprl Objects

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