K 10 svn:author V 5 edwin K 8 svn:date V 27 2007-09-10T12:11:09.000000Z K 7 svn:log V 249 Update port: math/isabelle Update to Isabelle port: * Works with updated sml-nj-devel port. * Does not require bash Thanks to Johannes 5 Joemann for helpful comments/patches. PR: ports/116046 Submitted by: Timothy Bourke END