Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
dvitype 2000-05-01 01:20 355K
pooltype 2000-04-30 15:32 306K
tftopl.o 2000-05-02 03:22 81K
dvitype.o 2000-05-01 01:20 80K
![[TXT]](/icons/text.gif){kind=icon}
pltotf.p 2000-04-30 21:14 48K
dvitype.p 2000-05-01 01:20 34K
tftopl.p 2000-04-30 15:44 28K
dvityext.o 2000-05-02 03:22 17K
dvitype.ch 2000-05-01 01:20 15K
pooltype.o 2000-04-30 15:32 12K
dvityext.c 2000-05-01 01:13 4.4K
tftopl.ch 2000-04-30 15:44 4.0K
pltotf.ch 2000-04-30 21:14 3.7K
pooltype.p 2000-05-01 02:10 3.4K
pooltype.ch 2000-05-01 02:10 2.6K
dvitype.out-k 2000-05-01 00:23 1.1K
dvitype.out 2000-05-01 01:20 1.1K
Makefile 2000-04-30 04:43 965
dvityext.h 2000-05-01 01:10 478
access.c 2000-04-30 04:28 299
![[ ]](/icons/dvi.gif){kind=icon}
texput.dvi 2000-04-30 23:33 196
texwarext.h 2000-04-30 05:54 156
texput.log 2000-04-30 23:33 149
tftopl.pool 2000-04-30 15:44 25