No other cites to report in EditorDoc
lib_search1	Def auto_expand Def lib_search(1; 2) Def == DOquit LibSearch{1}: Def == DOquit 2 Def == DOquit  Def == DOquit kind=<ml> & <ml>   true   PreviousSearchParams Def == DOquit obtok  Subtok Prefix Suffix    obstr Def == DOquit kind   `ABS`  `COM`  `DISP` `LAT`  `ML`   `RULE` `THM` Def == DOquit term    Eq  term_size  FirstOnly PrintName  TermPreds Def == DOquit Subterm  MATCH Def == DOquit status  `BAD`  `COMPLETE`  `PARTIAL` Def == DOquit (modify menu)
lib_search	Def MLmacro Def LibSearch{RANGE}: Def CONDITION Def  Def HELP Def == {Search a list of object names. } Def == (new_scratch_with `LibAnswer` Def == ((plug_enumobterm Def == ((3 Def == ((ModifySearch Def == (((let condcode,rangecode Def == (((let  (convert_ml CONDITION),(convert_ml RANGE) in Def == ((((let e c cs  c.(remove_mod termeq_mod_slots c cs) in Def == (((([edit_last_lib_search_range Def == (((([:= e rangecode edit_last_lib_search_range ; Def == (((([rangecode Def == ((((;edit_last_lib_search_cond := e condcode edit_last_lib_search_cond ; Def == ((((;condcode]) Def == (((@[lib_search_cache Def == (((@[:= W remove_2d_alist_entry_mod termeq_mod_slots lib_search_cache Def == (((@[:= CONDITION Def == (((@[:= RANGE ; Def == (((@[create_sectioned_seq_of_obrefs Lib Search Result was: false false Def == (((@[0,0 Def == (((@[(mk_simple_term `lib_search_code` [CONDITION;RANGE])]))) Def == ?? [`libsearchabort`] `Aborted`
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`
buttoni	Def button, button_insert, default_empty_text, words, slots_not_slots Def $a == t
ml_scat	Def MLmacro Def a^^b == concatenate_strings [a;b]
buttonmldoquit	Def button, button_mldoquit, force_action, ml_string, MLmacro Def $s == $s
buttonmldo	Def button, button_mldo, force_action, ml_string, MLmacro, semi_ml, words Def $s Def == (let thunk ()  ml in last_mlbutton_fn := (t.thunk () ; t) ; thunk ())
ml_o	Def ml Def ab == $o a,b
ml_apply	Def ml, ml_apply Def a b == ((a)(b))
ml_assign	Def ml Def a := b == ((a):=(b))
ml_string	Def ml, ml_string_lit Def "$str" == "$str"
ml_failwith	Def ml Def failwith:M == (failwith (M))
ml_seq	Def ml, ml_seq Def a ; b == ((a);(b))
ml_if	Def ml Def if a then b else c == if a then b else c
ml_theunit	Def ml Def () == ()
ml_eq	Def ml, ml_eq Def a=b == ((a)=(b))
ml_and	Def ml Def a & b == ((a)&(b))
ml_toko	Def ml, semi_puretext Def `s` == `s`
ml_cons	Def ml, ml_cons Def a.b == ((a).(b))
ml_test	Def ml Def if a $then b $else c == if (a) $then (b) $else c
ml_lambda	Def ml, NoConds 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_pair	Def ml Def a,b == ((a),(b))
ml_lcat	Def ml Def a@b == ((a)@(b))
ml_qq	Def ml Def a ?? b c == ((a)??(b)(c))
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 [] == []

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