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		-
	Makefile	2002-12-29 17:34	1.9K
	dvitype.in	2000-05-01 10:43	41
	ext.c	2000-05-01 15:09	6.0K
	ext.h	2000-05-01 14:54	500
	ini_to_trip	2000-05-01 10:43	705
	ini_to_vir	2000-05-01 10:43	447
	initex.ch	2000-05-01 13:21	36K
	plain.fmt	2000-05-01 10:43	163K
	plain.log	2000-05-01 10:43	2.4K
	tex.pool	2000-05-01 10:43	25K
	trip1.in	2000-05-01 10:43	13
	trip2.in	2000-05-01 10:43	14