Index of /daikon/history/daikon-5.2.20

	Name	Last modified	Size	Description
	Parent Directory		-
	CHANGES	2016-02-01 18:28	130K
	daikon-5.2.20.tar.gz	2016-01-05 16:15	76M
	daikon-5.2.20.zip	2016-01-05 16:15	79M