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