Index of /web/spiderweb/src/turing

	Name	Last modified	Size	Description

	Parent Directory		-
	turing.spider	1991-06-26 18:00	21K
	make	1993-04-03 17:00	135

Apache/2.4.58 (Ubuntu) Server at tug.ctan.org Port 443