Name Last modified Size Description![[PARENTDIR]](/strapdown/icons/glyphicon-circle-arrow-up.svg){kind=icon}
Parent Directory -
![[TXT]](/strapdown/icons/glyphicon-file.svg){kind=icon}
Makefile 2002-12-29 10:34 1.9K
dvitype.in 2000-05-01 04:43 41
ext.c 2000-05-01 09:09 6.0K
ext.h 2000-05-01 08:54 500
ini_to_trip 2000-05-01 04:43 705
ini_to_vir 2000-05-01 04:43 447
initex.ch 2000-05-01 07:21 36K
plain.fmt 2000-05-01 04:43 163K
plain.log 2000-05-01 04:43 2.4K
tex.pool 2000-05-01 04:43 25K
trip1.in 2000-05-01 04:43 13
trip2.in 2000-05-01 04:43 14