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