../ 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 37261 plain.fmt 01-May-2000 02:43 166564 plain.log 01-May-2000 02:43 2416 tex.pool 01-May-2000 02:43 25806 trip1.in 16-Jun-2013 14:38 13 trip2.in 16-Jun-2013 14:38 14