../ dvips/ 08-Jun-2001 15:41 - psnfss/ 08-Jun-2001 15:41 - tfm/ 08-Jun-2001 15:41 - vf/ 08-Jun-2001 15:41 - doit.bat 21-May-1996 05:30 4208 tmp.bat 21-May-1996 05:30 2292 tmp.lst 21-May-1996 05:30 2146