Index of /repos/coq/misc/shiftreset

	Name	Last modified	Size	Description
	Parent Directory		-
	GenuineShiftReset.html	20-Mar-2008 17:10	25K
	GenuineShiftReset.v	20-Mar-2008 17:10	16K
	Make	31-Jan-2008 22:10	102
	_darcs/	20-Mar-2008 17:10	-
	coqdoc.css	31-Jan-2008 22:10	1.9K
	env.el	31-Jan-2008 22:10	139
	makedoc.sh	20-Mar-2008 17:10	328