/math/proofgeneral/

	Commit message (Expand)	Author	Age	Files	Lines
*	MASTER_SITES cleanup.	mat	2015-05-14	1	-1/+0
*	Change the way Perl modules are installed, update the default Perl to 5.18.	mat	2014-11-26	2	-4/+1
*	Support STAGEDIR.	vanilla	2013-11-05	2	-4/+2
*	Add NO_STAGE all over the place in preparation for the staging support (cat: ...	bapt	2013-09-21	1	-0/+1
*	- Use single space after WWW:	sunpoet	2013-08-29	1	-1/+1
*	- Convert to new perl framework	mat	2013-08-03	1	-6/+3
*	- Get Rid MD5 support	miwi	2011-03-20	1	-1/+0
*	Reset chinsan@FreeBSD.org due to numerous maintainer-timeouts and no	linimon	2009-08-29	1	-1/+1
*	- Include some ports in perl5 category.	araujo	2008-05-19	1	-1/+1
*	- Update to 0.3	rafan	2007-03-09	2	-5/+4