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