Index of /pub/doc/web

	Name	Last modified	Size	Description
	Parent Directory		-
	WEB.ps.Z	1996-08-29 11:50	126K
	WEB.ps.gz	1996-08-29 11:51	94K
	WEB.ps	1996-08-29 11:51	387K
	eiffelweb.txt	1996-09-12 16:20	32K