Name Last modified Size Description
Parent Directory -
mf.pool 1994-08-31 07:38 22K
tex.pool 1994-07-31 05:55 25K
plain.base 1994-07-03 20:12 129K
mf.base 1994-09-11 05:44 129K
turktex.fmt 1994-07-27 03:05 188K
cmmf.base 1994-09-11 05:44 220K
cmplain.base 1994-09-11 05:44 220K
tex.fmt 1994-07-28 04:10 237K
plftex.fmt 1994-07-28 04:34 291K
etex.fmt 1994-07-28 04:37 372K
amstex.fmt 1994-07-26 05:06 394K
latex.fmt 1994-09-12 08:29 760K