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