../ Makefile 09-Jul-1999 16:59 1960 dvitype.in 10-Aug-1989 20:02 41 ext.c 17-Jul-1992 03:17 13234 ext.h 11-Sep-1989 15:26 638 ini_to_trip 26-Jan-1992 04:28 705 ini_to_vir 24-Feb-1998 17:29 447 initex.ch 24-Feb-1998 17:32 54208 plain.fmt 14-Aug-1998 15:06 166564 plain.log 14-Aug-1998 15:06 2416 tex.pool 09-Jul-1999 17:31 25806 trip1.in 11-Aug-1989 06:05 13 trip2.in 11-Aug-1989 03:54 14