EditorDoc Sections Nuprl Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
How to search for terms in a window.

`find' `findop' `(c-a)findop' `findsame' `(c-#)'

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 document doc 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 `(c-d)'. A preorder seach for the next <words go here> is caused by `(c-#)'.
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>

which contains some utility buttons. All the <words go here> marks will be removed if you use `(mouseleft)' or `(c-z)' on the whole. IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
EditorDoc Sections Nuprl Doc