Index of /~chrzaszcz/Papuq

	Name	Last modified	Size	Description
	Parent Directory		-
	Coq_en/	2007-06-29 02:39	-
	Coq_pl/	2007-06-29 02:39	-
	READ_ME.txt	2007-06-29 02:40	233
	coq-8.0pl4.papuq.diff	2007-04-12 04:22	73K
	coq-8.1.papuq.diff	2007-06-29 02:42	75K