ports/149736: update port: math/isabelle to version 2009.2

[Max Brazhnikov]

On Mon, 25 Oct 2010 16:42:43 -0700, Timothy Beyer wrote:
> At Sat, 25 Sep 2010 20:20:12 GMT,
> 
> makc at FreeBSD.org wrote:
> > Synopsis: update port: math/isabelle to version 2009.2
> > 
> > State-Changed-From-To: open->feedback
> > State-Changed-By: makc
> > State-Changed-When: Sat Sep 25 20:20:12 UTC 2010
> > State-Changed-Why:
> > It fails on tinderbox
> > http://people.freebsd.org/~makc/tb/isabelle-2009.2.log. Any idea?
> > 
> > http://www.freebsd.org/cgi/query-pr.cgi?pr=149736
> 
> I think I fixed the Makefile to build (now supresses warnings of polyEqual)
> 
> I also fixed some potential path issues in the pkg-plist (gzipped)

Committed, thanks!

Max