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