![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| EXPR.MF | 1992-03-16 18:06 | 183 | |
| IO.MF | 1992-03-16 18:06 | 857 | |
| MFMAN.MF | 1992-06-08 22:05 | 71K | |
| TRAPMAN.TEX | 1993-09-21 22:41 | 18K | |
| CM85.BUG | 1995-03-07 05:57 | 58K | |
| MFBOOK.TEX | 1995-03-08 19:43 | 917K | |
| TRAP.MF | 1995-03-08 21:44 | 12K | |
| MF84.BUG | 1995-03-21 05:22 | 86K | |
| TRAPMAN.DVI | 1995-03-25 21:25 | 35K | |
| INDEX.HTM | 1997-03-31 00:46 | 2.7K | |
| TRANS.TBL | 1997-05-08 10:16 | 464 | |