/math/proofgeneral/

	Commit message (Expand)	Author	Age	Files	Lines
*	- Add missing BUILD_DEPENDS to silence build warnings	swills	2011-12-16	1	-1/+2
*	- Fix LICENSE (Artistic 1 instead of Artistic 2)	culot	2011-10-07	1	-1/+1
*	- Update to 0.1300	sunpoet	2011-06-13	2	-7/+5
*	- update to 0.1203	bapt	2011-04-22	2	-3/+6
*	Update to 0.1202	mat	2010-12-22	2	-6/+5
*	Reset hideo@lastamericanempire.com due to maintainer-timeouts and no	linimon	2010-12-02	1	-1/+1
*	- Update to 0.1100	wen	2009-09-23	2	-4/+4
*	- Update to 0.1008	beat	2009-05-09	2	-4/+4
*	- Update to 0.1007	miwi	2008-11-30