../ checkpage.h 02-Oct-1990 00:00 4240 dvifile_p.h 02-Oct-1990 00:00 9839 dvijep_p 02-Oct-1990 00:00 39068 gblvars.h 02-Oct-1990 00:00 14800 prtpage_p.h 02-Oct-1990 00:00 7632 readme.txt 02-Oct-1990 00:00 535