File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
trap.fot | 1704 | 1993-Aug-09 11:00 |
trap2.in | 14 | 1993-Aug-09 11:00 |
trap.pl | 10388 | 1993-Aug-09 11:00 |
trap1.in | 14 | 1993-Aug-09 11:00 |
trap.typ | 4550 | 1993-Aug-09 11:00 |
trap.mf | 11842 | 1993-Aug-09 11:00 |
trapin.log | 4584 | 1993-Aug-09 11:00 |
trapman.tex | 18248 | 1993-Aug-09 11:00 |
trap1.log | 4946 | 1993-Aug-09 11:00 |
trap.log | 14123 | 1993-Aug-09 11:00 |
trap1.base | 34060 | 1993-Aug-09 11:00 |
trap2.log | 299 | 1993-Aug-09 11:00 |