Synopsis: New Port: math/isabelle Responsible-Changed-From-To: freebsd-ports-bugs->barner Responsible-Changed-By: barner Responsible-Changed-When: Sat Aug 13 09:32:56 GMT 2005 Responsible-Changed-Why: I'll handle this. http://www.freebsd.org/cgi/query-pr.cgi?pr=84859