| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| story.tex | 375 B | 1990-Oct-02 00:00 | |
| story.err | 476 B | 1990-Oct-02 00:00 | |
| story.imp | 4.8 KiB | 1990-Oct-02 00:00 | |
| story.eps | 5.8 KiB | 1990-Oct-02 00:00 | |
| story.jep | 6.0 KiB | 1990-Oct-02 00:00 | |
| story.e72 | 8.4 KiB | 1990-Oct-02 00:00 | |
| story.tos | 10.3 KiB | 1990-Oct-02 00:00 | |
| story.alw | 12.4 KiB | 1990-Oct-02 00:00 | |