![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| ERRORLOG.DVI | 1996-02-24 16:51 | 254K |
| ERRORLOG.TEX | 1995-03-20 23:16 | 148K |
| INDEX.HTM | 1997-03-30 17:46 | 2.5K |
| MFPIC/ | 1996-08-23 02:50 | - |
| STORY.TEX | 1992-03-16 11:06 | 412 |
| TEX82.BUG | 1995-03-20 23:05 | 307K |
| TEXBOOK.TEX | 1995-03-08 12:53 | 1.3M |
| TRANS.TBL | 1997-05-08 04:16 | 477 |
| TRIP.TEX | 1995-03-08 14:24 | 22K |
| TRIPMAN.DVI | 1995-03-25 14:23 | 51K |
| TRIPMAN.TEX | 1992-01-13 15:55 | 19K |