Index of /repos/coq/misc/shiftreset/_darcs

	Name	Last modified	Size	Description
	Parent Directory		-
	checkpoints/	31-Jan-2008 22:10	-
	inventories/	31-Jan-2008 22:10	-
	inventory	20-Mar-2008 17:10	532
	patches/	20-Mar-2008 17:10	-
	prefs/	31-Jan-2008 22:10	-
	pristine/	20-Mar-2008 17:10	-