| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| addencodings.pl | 185.3 KiB | 2020-Mar-03 09:44 |
| vptovf.p | 64.3 KiB | 2000-May-01 11:06 |
| vftovp.p | 44.9 KiB | 2000-May-01 11:22 |
| vftovp.ch | 7.2 KiB | 2000-May-01 11:19 |
| vptovf.ch | 3.4 KiB | 2000-May-01 11:06 |
| Makefile | 989 B | 2000-May-01 11:22 |
| dvityext.h | 478 B | 2000-May-01 11:22 |
| texwarext.h | 156 B | 2000-May-01 11:06 |