Nuprl - Definition Cascade for ml

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

	No other cites to report in EditorDoc

ml_string	Def ml, ml_string_lit Def "$str" == "$str"

ml_stringo	Def ml, semi_puretext Def "s" == "s"

Syntax: "$str" has structure: ml_string{$str:s}

About:

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