Welcome to the Rise Mirror

Files can be downloaded using http://mirror.rise.ph and ftp://mirror.rise.ph
Please Note: Mirror is currently undergoing maintenance so you may find some repositories are not up to date.

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