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