../ Makefile 09-Jul-1999 16:59 1960 dvitype.in 01-May-2000 02:43 41 ext.c 17-Jul-1992 03:17 13234 ext.h 11-Sep-1989 15:26 638 ini_to_trip 01-May-2000 02:43 705 ini_to_vir 01-May-2000 02:43 447 initex.ch 24-Feb-1998 17:32 54208 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