Name Last modified Size Description Parent Directory - amstex.fmt 1991-06-06 07:17 318K texsis.fmt 1991-06-06 07:16 335K plain.fmt 1991-06-06 07:14 205K splain.fmt 1991-06-06 07:13 378K lplain.fmt 1991-06-06 07:11 345K