pav 2010-10-27 21:39:01 UTC FreeBSD ports repository Modified files: math/isabelle Makefile Log: - Mark BROKEN: bad plist Reported by: pointyhat Revision Changes Path 1.15 +2 -0 ports/math/isabelle/Makefile