Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
docstrip.cmd 05-Dec-1991 08:00 1.0K
![[ ]](/icons/unknown.gif){kind=icon}
exercise.doc 02-Jul-1992 08:00 17K
exercise.sty 07-Dec-1991 08:00 3.8K
![[ ]](/icons/compressed.gif){kind=icon}
exercise.tar.gz 01-Jul-1992 08:00 9.0K
exercise.tex 05-Dec-1991 08:00 2.3K
extest.tex 05-Dec-1991 08:00 1.0K
readme 02-Jul-1992 08:00 3.6K