Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 05-Dec-2002 06:11 -
![[ ]](/icons/unknown.gif){kind=icon}
Makefile 13-Jun-1995 00:00 2k
dvitype.in 13-Jun-1995 00:00 1k
![[TXT]](/icons/text.gif){kind=icon}
ext.c 13-Jun-1995 00:00 13k
ext.h 13-Jun-1995 00:00 1k
ini_to_trip 13-Jun-1995 00:00 1k
trip1.in 13-Jun-1995 00:00 1k
trip2.in 13-Jun-1995 00:00 1k
ini_to_vir 24-Feb-1998 00:00 1k
initex.ch 24-Feb-1998 00:00 53k
tex.pool 24-Feb-1998 00:00 25k
plain.fmt 09-Aug-1998 00:00 163k
plain.log 09-Aug-1998 00:00 2k