Nuprl - Definition Cascade for ob

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

	No other cites to report in EditorDoc

ob_ref	Def ml, editor, ob_ref, possible_ob_ref, no_spaces Def $how == `$obname`

ml_tok	Def ml, possible_ob_ref Def `$tok` == `$tok`

ml_toko	Def ml, semi_puretext Def `s` == `s`

Syntax: $how has structure: ob_ref{$obname:t,$how:s}

About:

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