Christian Neukirchen e8a7a95ace ProofGeneral: ignore pre-releases.		2015-01-15 13:14:50 +01:00
..
template	New package: ProofGeneral-4.2	2015-01-14 11:19:21 +01:00
update