Index of /changelogs/main/m/matita

	Name	Last modified	Size
	Parent Directory		-
	matita_0.99.1-3_changelog	2013-12-10 20:34	6.5K
	matita_0.99.1-3_copyright	2013-12-10 20:34	1.0K
	matita_0.99.3-1_changelog	2016-05-24 20:14	6.8K
	matita_0.99.3-1_copyright	2016-05-24 20:14	1.0K
	oldoldoldstable_changelog	2013-12-10 20:34	6.5K
	oldoldoldstable_copyright	2013-12-10 20:34	1.0K
	oldoldstable_changelog	2016-05-24 20:14	6.8K
	oldoldstable_copyright	2016-05-24 20:14	1.0K
	oldstable-kfreebsd_changelog	2013-12-10 20:34	6.5K
	oldstable-kfreebsd_copyright	2013-12-10 20:34	1.0K
	oldstable_changelog	2016-05-24 20:14	6.8K
	oldstable_copyright	2016-05-24 20:14	1.0K
	stable-kfreebsd_changelog	2013-12-10 20:34	6.5K
	stable-kfreebsd_copyright	2013-12-10 20:34	1.0K
	stable_changelog	2016-05-24 20:14	6.8K
	stable_copyright	2016-05-24 20:14	1.0K
	testing-kfreebsd_changelog	2013-12-10 20:34	6.5K
	testing-kfreebsd_copyright	2013-12-10 20:34	1.0K
	testing_changelog	2016-05-24 20:14	6.8K
	testing_copyright	2016-05-24 20:14	1.0K
	unstable_changelog	2016-05-24 20:14	6.8K
	unstable_copyright	2016-05-24 20:14	1.0K