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 1999-07-09 18:59 1.9K
dvitype.in 1989-08-10 22:02 41
ext.c 1992-07-17 05:17 13K
ext.h 1989-09-11 17:26 638
ini_to_trip 1992-01-26 05:28 705
ini_to_vir 1998-02-24 18:29 447
initex.ch 1998-02-24 18:32 53K
plain.fmt 1998-08-14 17:06 163K
plain.log 1998-08-14 17:06 2.4K
tex.pool 1999-07-09 19:31 25K
trip1.in 1989-08-11 08:05 13
trip2.in 1989-08-11 05:54 14