I'm planning to release this as a bug-fix release in the next week or so unless anyone reports any problems.
Fantastic news! _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
