Index of /pub/challenge

	Name	Last modified	Size	Description
	Parent Directory		-
	AUG22.UPD	1993-08-22 13:54	3.0K
	CURRENT_SCHEDULE	1993-09-30 16:24	6.5K
	DEC0392.UPD	1992-12-03 14:33	1.7K
	DEC1192.UPD	1992-12-11 15:35	3.1K
	DONT_FORGET_TO_REGISTER	1992-09-28 11:25	162
	FEB0393.UPD	1993-02-04 12:48	5.1K
	INDEX	1993-11-28 10:36	35K
	INDEX.BAK	1993-09-19 11:35	35K
	JAN0993.UPD	1993-01-10 11:52	1.6K
	JUL11.UPD	1993-07-11 15:37	2.3K
	JUL29.UPD	1993-07-29 16:12	2.4K
	JUN0993.UPD	1993-06-09 10:15	1.7K
	MAR1293.UPD	1993-03-14 15:54	11K
	MAR2893.UPD	1993-03-28 11:10	1.8K
	MAY0893.UPD	1993-05-09 11:47	1.7K
	NEW_FILES	1993-11-28 10:36	12K
	NOV2192.UPD	1992-11-21 15:33	3.8K
	NOV2893.UPD	1993-11-28 10:29	1.5K
	SEP1993.UPD	1993-09-19 11:26	2.3K
	call.ps	1992-09-29 14:07	54K
	call.tex	1992-09-29 14:07	3.4K
	call.txt	1992-09-28 10:35	2.9K
	call_abstract.asc	1992-12-11 15:39	3.2K
	call_paper.asc	1993-07-11 15:42	2.9K
	callpart.asc	1993-09-14 15:07	14K
	contributed/	1993-03-14 09:11	-
	gen_info.dvi	1992-12-11 15:37	19K
	gen_info.ps	1992-12-11 15:37	108K
	gen_info.tex	1992-12-11 15:36	15K
	graph/	1993-09-14 14:57	-
	ls-lR	1993-11-28 10:36	52K
	proposals/	1993-03-14 09:50	-
	sat/	1993-06-28 12:44	-
	satisfiability/	1993-06-28 12:44	-
	submit/	1995-09-11 15:19	-