| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| tftopl.pool | 25 | 2000-May-01 00:44 | |
| texput.log | 149 | 2000-May-01 08:33 | |
| texwarext.h | 156 | 2000-Apr-30 14:54 | |
| texput.dvi | 196 | 2000-May-01 08:33 | |
| access.c | 299 | 2000-Apr-30 13:28 | |
| dvityext.h | 478 | 2000-May-01 10:10 | |
| Makefile | 965 | 2000-Apr-30 13:43 | |
| dvitype.out | 1157 | 2000-May-01 10:20 | |
| dvitype.out-k | 1159 | 2000-May-01 09:23 | |
| pooltype.ch | 2631 | 2000-May-01 11:10 | |
| pooltype.p | 3450 | 2000-May-01 11:10 | |
| pltotf.ch | 3758 | 2000-May-01 06:14 | |
| tftopl.ch | 4052 | 2000-May-01 00:44 | |
| dvityext.c | 4456 | 2000-May-01 10:13 | |
| pooltype.o | 12064 | 2000-May-01 00:32 | |
| dvitype.ch | 15357 | 2000-May-01 10:20 | |
| dvityext.o | 17432 | 2000-May-02 12:22 | |
| tftopl.p | 29183 | 2000-May-01 00:44 | |
| dvitype.p | 34370 | 2000-May-01 10:20 | |
| pltotf.p | 48847 | 2000-May-01 06:14 | |
| dvitype.o | 81452 | 2000-May-01 10:20 | |
| tftopl.o | 82856 | 2000-May-02 12:22 | |
| pooltype | 313421 | 2000-May-01 00:32 | |
| dvitype | 363359 | 2000-May-01 10:20 | |