../ amstex.fmt 26-Jul-1994 04:06 394K cmmf.base 11-Sep-1994 04:44 220K cmplain.base 11-Sep-1994 04:44 220K etex.fmt 28-Jul-1994 03:37 372K latex.fmt 12-Sep-1994 07:29 760K mf.base 11-Sep-1994 04:44 129K mf.pool 31-Aug-1994 06:38 22K plain.base 03-Jul-1994 19:12 129K plftex.fmt 28-Jul-1994 03:34 291K tex.fmt 28-Jul-1994 03:10 237K tex.pool 31-Jul-1994 04:55 25K turktex.fmt 27-Jul-1994 02:05 188K