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