| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| Makefile | 989 B | 2024-Oct-03 11:53 |
| addencodings.pl | 185.3 KiB | 2024-Oct-03 11:53 |
| dvityext.h | 478 B | 2024-Oct-03 11:53 |
| texwarext.h | 156 B | 2024-Oct-03 11:53 |
| vftovp.ch | 7.2 KiB | 2024-Oct-03 11:53 |
| vftovp.p | 44.9 KiB | 2024-Oct-03 11:53 |
| vptovf.ch | 3.4 KiB | 2024-Oct-03 11:53 |
| vptovf.p | 64.3 KiB | 2024-Oct-03 11:53 |