Filename Modification time Size TEXCALC.INS 1988-10-16 01:00 CET 7680 B TEXCALC.MSG 1988-10-19 01:00 CET 3060 B TEXCALC.SPS 1988-10-16 01:00 CET 3153 B