SEARCH2 : LIBRARYCMDSEARCH2 is a library command.
Search the entire library, including all comments, for a
given combination of strings. See also SEARCH.
The syntax for the given list is essentially conjunctive normal
form -- it should be a list of conjuncts, each of which is a list of
((MS88) (THM)) finds everything containing THM and MS88
((MS88 THM)) finds everything containing THM or MS88
((MS88 MS89) (THM EXERCISE)) finds everything containing (MS88 or MS89)
and (THM or EXERCISE).
WARNING: THIS COMMAND IS SLOW, AND CAN USE A LOT OF MEMORY.
You might want to think about using the Unix "grep" command instead.
The command format for SEARCH2 is:
<LIB>SEARCH2 TYPE STRINGLIST BACKUP
"LIB-ARGTYPE-OR-NIL" "STRINGLISTLIST" "YESNO"
TPS documentation homepage