If, in a window, you apply the`find' command to a proper subterm, say PAT, of the window, the whole window will be searched for subterms that match against PAT according to the documentdoc for edit match .
Ordinary terms simply match themselves.
`findsame' will search the point term using the previous pattern. It's mainly used for searching in a different window than where the pattern was set.If you apply
`find' to the whole term of the window, then no search is done, but the whole term is set as the search pattern for subsequent use of`findsame' . This is useful for creating a search pattern in a separate window.
`findop' searches for terms matching the operator at the point, actually matching`(c-o)' of the point.
`(c-a)findop' is like`findop' except it matches`(c-a)(c-o)' of the point term.
If you simply enter an identifier string preceded by "'", then a search is done for terms containing the string as a substring of a parameter or binding var.
Matching subterms are wrapped in the cover <words go here>, which is easily removed with
And if there are more than one matching terms, then the whole window will be wrapped in
CLEARmarks
# Found. (Use `(c-#)' or NextMark to advance.)
<words go here>