The tools I use are: a plain text editor like vi; latex, to take the latex files and turn them into dvi; xdvi, to display dvi files; dvips to turn dvi files into PostScript; and dvipdf to turn dvi into PDF. Oh, and lp to print the PostScript files.

Abigail