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