Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
trip2.in 2000-04-30 21:43 14
trip1.in 2000-04-30 21:43 13
tex.pool 2000-04-30 21:43 25K
plain.log 2000-04-30 21:43 2.4K
plain.fmt 2000-04-30 21:43 163K
initex.ch 2000-05-01 00:21 36K
ini_to_vir 2000-04-30 21:43 447
ini_to_trip 2000-04-30 21:43 705
![[TXT]](/icons/text.gif){kind=icon}
ext.h 2000-05-01 01:54 500
ext.c 2000-05-01 02:09 6.0K
dvitype.in 2000-04-30 21:43 41
Makefile 2002-12-29 03:34 1.9K