Name Last modified Size Description
Parent Directory - trip2.in 1989-08-11 12:54 14 trip1.in 1989-08-11 15:05 13 tex.pool 1999-07-10 02:31 25K plain.log 1998-08-15 00:06 2.4K plain.fmt 1998-08-15 00:06 163K initex.ch 1998-02-25 02:32 53K ini_to_vir 1998-02-25 02:29 447 ini_to_trip 1992-01-26 13:28 705 ext.h 1989-09-12 00:26 638 ext.c 1992-07-17 12:17 13K dvitype.in 1989-08-11 05:02 41 Makefile 1999-07-10 01:59 1.9K