kris 2006-12-09 19:57:26 UTC FreeBSD ports repository Modified files: math/proofgeneral Makefile Log: Deprecate and expire on 2007-02-07 to give the maintainer more incentive to work on this long-standing problem. Revision Changes Path 1.10 +2 -0 ports/math/proofgeneral/Makefile