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