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