No other cites to report in EditorDoc
html_anchor	Def words, html_anchor, ml_string, ml, exec Def SHOW Def == let url  "$URL" , Def == let url Def == let  "file:"^^(filename_norm (remove_prefix_string "file:" url)) Def == let  ? url in Def == www_browser_raise url
ml_scat	Def MLmacro Def a^^b == concatenate_strings [a;b]
ml_apply	Def ml, ml_apply Def a b == ((a)(b))
ml_string	Def ml, ml_string_lit Def "$str" == "$str"
ml_q	Def ml Def a ? b == ((a)?(b))
ml_letin	Def ml, ml_let, nospaces Def let$mod a  b in c == let$mod a  b in c
ml_cons	Def ml, ml_cons Def a.b == ((a).(b))
ml_decl	Def ml Def a  b == a=(b)
ml_letin_wrap	Def ml, nospaces Def let$mod D in c == let$mod D in (c)
ml_parens	Def ml, slots_not_slots Def (a) == (a)
ml_stringo	Def ml, semi_puretext Def "s" == "s"
ml_nil	Def ml Def [] == []

Syntax:

SHOW

has structure:

html_anchor{$URL:s}(SHOW)

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