![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| ETRIP.FOT | 1996-10-23 16:00 | 1.1K |
| ETRIP.LOG | 1996-10-23 16:00 | 8.4K |
| ETRIP.PL | 1989-10-04 18:00 | 17K |
| ETRIP.TEX | 1996-10-17 16:00 | 7.6K |
| ETRIPIN.LOG | 1996-10-23 16:00 | 910 |
| ETRIPMAN.DVI | 1996-11-07 10:55 | 42K |
| ETRIPMAN.LIS | 1996-11-07 10:55 | 492 |
| ETRIPMAN.TEX | 1996-11-04 15:00 | 16K |
| TRANS.TBL | 1997-05-08 04:16 | 430 |
| _CACHE | 1997-03-19 05:51 | 627 |