| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| addencodings.pl | 185.3 KiB | Mar 3, 2020 |
| vptovf.p | 64.3 KiB | May 1, 2000 |
| vftovp.p | 44.9 KiB | May 1, 2000 |
| vftovp.ch | 7.2 KiB | May 1, 2000 |
| vptovf.ch | 3.4 KiB | May 1, 2000 |
| Makefile | 989 B | May 1, 2000 |
| dvityext.h | 478 B | May 1, 2000 |
| texwarext.h | 156 B | May 1, 2000 |