kris 2007-02-27 04:54:19 UTC FreeBSD ports repository Modified files: math/proofgeneral Makefile Log: BROKEN: Incomplete pkg-plist Revision Changes Path 1.12 +2 -0 ports/math/proofgeneral/Makefile