Name Last modified Size Description Parent Directory - texshell.arc 1992-10-30 10:34 7.3K texshel2.arc 1992-10-30 10:34 7.7K rtexsh13.zoo 1992-10-30 10:34 26K ms.arc 1992-10-30 10:34 19K