2 commits

Author	SHA1	Message	Date
Christian Neukirchen	e8a7a95ace	ProofGeneral: ignore pre-releases.	2015-01-15 13:14:50 +01:00
Christian Neukirchen	a8ac3af3a4	New package: ProofGeneral-4.2	2015-01-14 11:19:21 +01:00