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