EditorDoc Sections Nuprl Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
<specs><specs> Spec Ignore DformSpecsForTerm 201-help HELP

LeftAssoc RightAssoc ListAllPrecObs
StdIter StdIterExc StdIterNub StdIterNubExc
StdQuant StdMLinfix

<Formats><Formats> <child attrs>, <child attrs>

ChildMenu DFchild * |Other Iparms

Enum UNenum ListAllPrecObs

<attrs>; <attrs> NOattrs <term to insert> CondsMENU *Open form* InsertCmd:[name] HiddenSlotOK ShowGrandchild InvisibleOp InheritParens PassThru NotAtPoint =[obj].[name] =apply.standard =[name] =FIRST Name:[name] Family:[name] member:<Fams> <Fams><Fams> (DontUse)

{[hard]} [[break]] {Space}
<disp>CONSIS <disp>LINEAR <disp>MARGIN

<Format>

Move DISP to User Redisplay Area. SAVE redisplay objects.

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

EditorDoc Sections Nuprl Doc