![[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 | - | |
| DT2DV.C | 1995-03-08 14:38 | 60K |
| DT2DV.MAN | 1995-03-08 12:10 | 4.9K |
| DTL.DOC | 1995-03-08 12:50 | 2.4K |
| DTL.H | 1995-03-08 11:31 | 4.1K |
| DV2DT.C | 1995-03-08 10:54 | 18K |
| DV2DT.MAN | 1995-03-08 12:54 | 13K |
| DVI.DOC | 1995-02-26 03:38 | 5.2K |
| EDITED.TXT | 1995-03-08 13:32 | 22K |
| EXAMPLE.TEX | 1992-09-04 18:00 | 9.7K |
| HELLO.TEX | 1995-02-21 18:20 | 12 |
| MAKEFILE | 1995-03-08 16:23 | 3.3K |
| MAN2PS | 1993-05-10 18:00 | 859 |
| README | 1995-03-08 14:47 | 6.3K |
| TRANS.TBL | 1997-05-08 04:16 | 644 |
| TRIPVDU.TEX | 1992-09-04 18:00 | 9.0K |