| Parent directory/ | - | - |
| README | 1.3 KiB | 2024-Jun-22 01:36 |
| dtinfo.txt | 1.3 KiB | 2024-Jun-22 01:36 |
| registration.tex | 8.5 KiB | 2024-Jun-22 01:36 |
| dtmanual.pdf | 546.3 KiB | 2024-Jun-22 01:36 |
| dtmanual.ps | 604.8 KiB | 2024-Jun-22 01:36 |
| directtex-2.1.2.sea.5.hqx | 1.3 MiB | 2024-Jun-22 01:36 |
| directtex-2.1.2.sea.hqx | 1.3 MiB | 2024-Jun-22 01:36 |
| directtex-2.1.2.sea.9.hqx | 1.3 MiB | 2024-Jun-22 01:36 |
| directtex-2.1.2.sea.6.hqx | 1.3 MiB | 2024-Jun-22 01:36 |
| directtex-2.1.2.sea.3.hqx | 1.3 MiB | 2024-Jun-22 01:36 |
| directtex-2.1.2.sea.8.hqx | 1.3 MiB | 2024-Jun-22 01:36 |
| directtex-2.1.2.sea.7.hqx | 1.3 MiB | 2024-Jun-22 01:36 |
| directtex-2.1.2.sea.2.hqx | 1.3 MiB | 2024-Jun-22 01:36 |
| directtex-2.1.2.sea.4.hqx | 1.3 MiB | 2024-Jun-22 01:36 |