| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| docstrip.cmd | 981 | 1991-Dec-05 09:00 | |
| exercise.doc | 17796 | 1992-Jul-02 09:00 | |
| exercise.sty | 3881 | 1991-Dec-07 08:00 | |
| exercise.tar.gz | 9198 | 1992-Jul-01 09:00 | |
| exercise.tex | 2329 | 1991-Dec-05 09:00 | |
| extest.tex | 1039 | 1991-Dec-05 09:00 | |
| readme | 3692 | 1992-Jul-02 09:00 | |