Index of /pub/info-iris/tex-old

	Name	Last modified	Size
	Parent Directory		-
	texbin.tar.Z.7	1990-03-15 04:14	604K
	texbin.tar.Z.4	1990-03-15 04:13	727K
	texbin.tar.Z.1	1990-03-15 04:12	787K
	texbin.tar.Z.2	1990-03-15 04:12	800K
	texbin.tar.Z.3	1990-03-15 04:13	803K
	texbin.tar.Z.5	1990-03-15 04:13	865K
	texbin.tar.Z.6	1990-03-15 04:14	1.0M
	texbin.tar.Z	1989-07-24 23:09	5.5M