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