../ Makefile 29-Dec-2002 16:34 1985 dvitype.in 01-May-2000 09:43 41 ext.c 01-May-2000 14:09 6171 ext.h 01-May-2000 13:54 500 ini_to_trip 01-May-2000 09:43 705 ini_to_vir 01-May-2000 09:43 447 initex.ch 01-May-2000 12:21 37261 plain.fmt 01-May-2000 09:43 166564 plain.log 01-May-2000 09:43 2416 tex.pool 01-May-2000 09:43 25806 trip1.in 01-May-2000 09:43 13 trip2.in 01-May-2000 09:43 14