![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/binhex.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[ ]](/icons/tex.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| directtex-2.1.2.sea.2.hqx | 19-Mar-1997 16:00 | 1.3M | |
| directtex-2.1.2.sea.3.hqx | 19-Mar-1997 16:00 | 1.3M | |
| directtex-2.1.2.sea.4.hqx | 19-Mar-1997 16:00 | 1.3M | |
| directtex-2.1.2.sea.5.hqx | 19-Mar-1997 16:00 | 1.3M | |
| directtex-2.1.2.sea.6.hqx | 19-Mar-1997 16:00 | 1.3M | |
| directtex-2.1.2.sea.7.hqx | 19-Mar-1997 16:00 | 1.3M | |
| directtex-2.1.2.sea.8.hqx | 19-Mar-1997 16:00 | 1.3M | |
| directtex-2.1.2.sea.9.hqx | 19-Mar-1997 16:00 | 1.3M | |
| directtex-2.1.2.sea.hqx | 19-Mar-1997 16:00 | 1.3M | |
| dtinfo.txt | 19-Mar-1997 16:00 | 1.3K | |
| dtmanual.pdf | 19-Mar-1997 16:00 | 546K | |
| dtmanual.ps | 19-Mar-1997 16:00 | 605K | |
| registration.tex | 19-Mar-1997 16:00 | 8.5K | |