Index of /ftp-data/pub/people/rivest/windex

	Name	Last modified	Size	Description
	Parent Directory		-
	paper.aux	1994-04-01 08:57	8
	paper.dvi	1994-04-01 08:57	220
	paper.idx	1994-04-01 08:57	28
	paper.tex	1994-04-01 08:57	184
	windex	1994-04-01 08:57	32K
	windex.c	1994-04-01 08:57	27K
	windex.tex	1994-04-01 08:57	2.7K
	windexample.idx	1994-04-01 08:57	958
	windexample.index	1994-04-01 08:57	600
	windexdoc.aux	1994-04-01 08:57	1.0K
	windexdoc.dvi	1994-04-01 08:57	18K
	windexdoc.idx	1994-04-01 08:57	0
	windexdoc.index	1994-04-01 08:57	65
	windexdoc.tex	1994-04-01 08:57	15K