../ Makefile 29-Dec-2002 15:04 1985 dvitype.in 01-May-2000 08:13 41 ext.c 01-May-2000 12:39 6171 ext.h 01-May-2000 12:24 500 ini_to_trip 01-May-2000 08:13 705 ini_to_vir 01-May-2000 08:13 447 initex.ch 01-May-2000 10:51 36K plain.fmt 01-May-2000 08:13 163K plain.log 01-May-2000 08:13 2416 tex.pool 01-May-2000 08:13 25K trip1.in 01-May-2000 08:13 13 trip2.in 01-May-2000 08:13 14