Lines Matching refs:help
2 (* Help -- on-line help functions *)
4 val help : string -> unit
15 [help s] provides on-line help on the topic indicated by string s.
17 help "lib"; gives an overview of the Moscow ML library.
18 help "id"; provides help on identifier id (case-insensitive).
36 /str cyclically search for string str in help file (case-insensitive)
43 searched for help files. The directories are searched in order,
46 [indexfiles] is a reference to a list of full paths of help term
48 of `help'. (Every invocation of `help' reads the index files anew).
54 `help' will be converted to lowercase.
57 help "". This is a vector of lines of text.
60 text of the help file. Initially set to defaultBrowser.
62 [defaultBrowser] is the default (built-in) help browser.