../ amstex.fmt 26-Jul-1994 02:06 403450 cmmf.base 11-Sep-1994 02:44 225224 cmplain.base 11-Sep-1994 02:44 225224 etex.fmt 28-Jul-1994 01:37 380761 latex.fmt 12-Sep-1994 05:29 778303 mf.base 11-Sep-1994 02:44 131696 mf.pool 31-Aug-1994 04:38 22147 plain.base 03-Jul-1994 17:12 131648 plftex.fmt 28-Jul-1994 01:34 298490 tex.fmt 28-Jul-1994 01:10 242213 tex.pool 31-Jul-1994 02:55 25796 turktex.fmt 27-Jul-1994 00:05 192377