../ Makefile 29-Dec-2002 10:34 1985 dvitype.in 01-May-2000 03:43 41 ext.c 01-May-2000 08:09 6171 ext.h 01-May-2000 07:54 500 ini_to_trip 01-May-2000 03:43 705 ini_to_vir 01-May-2000 03:43 447 initex.ch 01-May-2000 06:21 36K plain.fmt 01-May-2000 03:43 163K plain.log 01-May-2000 03:43 2416 tex.pool 01-May-2000 03:43 25K trip1.in 01-May-2000 03:43 13 trip2.in 01-May-2000 03:43 14