TEXFIND(1) - manual page | User commands

Graphical tool to search for text in TeX input files.