K 10 svn:author V 5 edwin K 8 svn:date V 27 2008-08-15T01:03:23.000000Z K 7 svn:log V 116 [MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1 PR: ports/126066 Submitted by: Timothy Bourke END