| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| etrip.fot | 1181 | 1998-Mar-07 04:22 | |
| etrip.log | 114623 | 1998-Mar-07 04:22 | |
| etrip.out | 41 | 1998-Mar-07 04:22 | |
| etrip.pl | 17823 | 1989-Oct-06 08:00 | |
| etrip.tex | 45986 | 1997-Nov-24 09:00 | |
| etrip.typ | 586 | 1998-Mar-07 04:22 | |
| etripin.log | 1417 | 1998-Mar-07 04:21 | |
| etripman.tex | 19015 | 1998-Jan-25 06:17 | |