Index of /repos/icfp08/_darcs

	Name	Last modified	Size	Description
	Parent Directory		-
	inventories/	12-Jul-2008 00:42	-
	inventory	20-Jul-2008 00:02	3.6K
	patches/	20-Jul-2008 00:02	-
	prefs/	12-Jul-2008 00:42	-
	pristine/	12-Jul-2008 00:43	-