../ Makefile 09-Jul-1999 18:59 1960 dvitype.in 10-Aug-1989 22:02 41 ext.c 17-Jul-1992 05:17 13K ext.h 11-Sep-1989 17:26 638 ini_to_trip 26-Jan-1992 06:28 705 ini_to_vir 24-Feb-1998 19:29 447 initex.ch 24-Feb-1998 19:32 53K plain.fmt 14-Aug-1998 17:06 163K plain.log 14-Aug-1998 17:06 2416 tex.pool 09-Jul-1999 19:31 25K trip1.in 11-Aug-1989 08:05 13 trip2.in 11-Aug-1989 05:54 14