../ Makefile 09-Jul-1999 22:29 1960 dvitype.in 11-Aug-1989 01:32 41 ext.c 17-Jul-1992 08:47 13K ext.h 11-Sep-1989 20:56 638 ini_to_trip 26-Jan-1992 09:58 705 ini_to_vir 24-Feb-1998 22:59 447 initex.ch 24-Feb-1998 23:02 53K plain.fmt 14-Aug-1998 20:36 163K plain.log 14-Aug-1998 20:36 2416 tex.pool 09-Jul-1999 23:01 25K trip1.in 11-Aug-1989 11:35 13 trip2.in 11-Aug-1989 09:24 14