Index of /Agda/doc/release-notes

	Name	Last modified	Size	Description
	Parent Directory		-
	2-2-0.txt	17-Feb-2011 11:12	3.0K
	2-2-2.txt	17-Feb-2011 11:12	714
	2-2-4.txt	17-Feb-2011 11:12	1.4K
	2-2-6.txt	17-Feb-2011 11:12	8.4K
	2-2-8.txt	17-Feb-2011 11:12	18K
	2-2-10.txt	20-Feb-2011 17:58	7.5K
	2-2-12.txt-darcs-backup0	19-Apr-2011 06:30	3.8K
	2-3-0.txt	21-Nov-2011 09:50	32K
	2-3-2.txt	09-Nov-2012 13:03	20K
	2-3-4.txt	17-May-2013 10:07	5.1K