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