../ box.tex 02-Oct-1990 05:30 796 doc.tex 02-Oct-1990 05:30 1751 dow.tex 02-Oct-1990 05:30 1220 dvitodev.tex 02-Oct-1990 05:30 84 dvitodvi.tex 02-Oct-1990 05:30 38 figures.tex 02-Oct-1990 05:30 382 install.tex 02-Oct-1990 05:30 5162 intro.tex 02-Oct-1990 05:30 1070 makefile 02-Oct-1990 05:30 1050 section.tex 02-Oct-1990 05:30 3204 texx.tex 02-Oct-1990 05:30 9377 verb.tex 02-Oct-1990 05:30 1251