../ docstrip.cmd 05-Dec-1991 08:00 981 exercise.doc 02-Jul-1992 08:00 17K exercise.sty 07-Dec-1991 07:00 3881 exercise.tar.gz 01-Jul-1992 08:00 9198 exercise.tex 05-Dec-1991 08:00 2329 extest.tex 05-Dec-1991 08:00 1039 readme 02-Jul-1992 08:00 3692