Name Last modified Size Description Parent Directory - docstrip.cmd 26-Oct-1992 08:00 745 bigsign.tex 26-Oct-1992 08:00 2.3K bigsign.doc 26-Oct-1992 08:00 6.6K bigsdemo.tex 26-Oct-1992 08:00 238