freebsd-ports/math/isabelle
Martin Wilke 6c11582094 - Fix crash with lang/polyml.
PR:             109958
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
2007-03-22 11:32:00 +00:00
..
files - Fix crash with lang/polyml. 2007-03-22 11:32:00 +00:00
distinfo
Makefile - Fix crash with lang/polyml. 2007-03-22 11:32:00 +00:00
pkg-descr
pkg-plist - Fix crash with lang/polyml. 2007-03-22 11:32:00 +00:00