Name Last modified Size Description
Parent Directory - trip1.in 2000-05-01 04:43 13 trip2.in 2000-05-01 04:43 14 dvitype.in 2000-05-01 04:43 41 ini_to_vir 2000-05-01 04:43 447 ext.h 2000-05-01 08:54 500 ini_to_trip 2000-05-01 04:43 705 Makefile 2002-12-29 10:34 1.9K plain.log 2000-05-01 04:43 2.4K ext.c 2000-05-01 09:09 6.0K tex.pool 2000-05-01 04:43 25K initex.ch 2000-05-01 07:21 36K plain.fmt 2000-05-01 04:43 163K