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