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