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