| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| Makefile | 989 | 2000-May-01 02:22 |
| addencodings.pl | 189707 | 2020-Mar-03 00:44 |
| dvityext.h | 478 | 2000-May-01 02:22 |
| texwarext.h | 156 | 2000-May-01 02:06 |
| vftovp.ch | 7390 | 2000-May-01 02:19 |
| vftovp.p | 45985 | 2000-May-01 02:22 |
| vptovf.ch | 3464 | 2000-May-01 02:06 |
| vptovf.p | 65865 | 2000-May-01 02:06 |