Name Last modified Size Description Parent Directory 03-Mar-1994 00:22 - ms.arc 30-Oct-1992 10:34 19k rtexsh13.zoo 30-Oct-1992 10:34 26k texshel2.arc 30-Oct-1992 10:34 8k texshell.arc 30-Oct-1992 10:34 7k